Kiesl, Benjamin
- Blocked Clauses in First-Order Logic
2017/02/02 by Benjamin Kiesl, Kiesl, Benjamin, Martin Suda +7 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems