Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Christoph Wernhard
Abduction in Logic Programming as Second-Order Quantifier Elimination
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Literal Projection for First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Software for Quantifier Elimination in Propositional Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Abduction and Abductive Logic Programming
Transfer Function Synthesis Without Quantifier Elimination
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mechanizing Programming Logics in Higher Order Logic
Cut-Eliminability in Second Order Logic Calculus
Annals of the Japan Association for Philosophy of Science
Quantifier Elimination in Automatic Loop Parallelization
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
Quantifier Elimination for Neocompact Sets
Journal of Symbolic Logic
Philosophy
Logic
Implementing Type Theory in Higher Order Constraint Logic Programming
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Quantifier Elimination for the Relative Frobenius
