Christoph Wernhard

1. The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
   2017/06/26 by Christoph Wernhard, Wernhard, Christoph · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies
2. Synthesizing Nested Relational Queries from Implicit Specifications
   2022/09/17 by Michael Benedikt, Benedikt, Michael, Pradic, Cécilia +2 · 1 citation
   Computer Science · #Advanced Database Systems and Queries #Databases (cs.DB) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
3. Interpolation in Classical Propositional Logic
   2025/08/15 by Patrick Koopmann, Christoph Wernhard, Koopmann, Patrick +3 · 2 citations
   Computer Science · #03B05 (Primary) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems