Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Matthias Schlaipfer
Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Related publications
A Clausal Resolution Method for Branching-Time Logic ECTL+
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Graph Expansion, Tseitin Formulas and Resolution Proofs for CSP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Clausal Resolution Method for Extended Computation Tree Logic ECTL
Rewrite Methods for Clausal and Non-Clausal Theorem Proving
Width and Size of Regular Resolution Proofs
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
On Interpolation and Automatization for Frege Systems
SIAM Journal on Computing
Mathematics
Computer Science
Compositional Analysis for Clausal Exceptives
Semantics and Linguistic Theory
Colour Image Interpolation for High Resolution Acquisition and Display Devices
IEEE Transactions on Consumer Electronics
Electronic Engineering
Media Technology
Electrical
Interpolation Methods for Global Vision Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
