vix.ing · top · new · best · stats · spec

Daniel Găină

  1. Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols
    2022/03/09 by Daniel Găină, Gaina, Daniel, Guillermo Badía +3 · 1 citation
    Computer Science · #FOS: Mathematics #Formal Methods in Verification #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems