HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:superposition

Papers
The Vampire Approach to Induction
Márton Hajdu, Laura Kovács, Michael Rawson and Andrei Voronkov
EasyChair Preprint no. 9217
Parallelism Evaluation of Quantum Computing Comparing with Classical Computation Systems
Mohammed Hamada and Mohammed Mikki
EasyChair Preprint no. 5911
The Future of Quantum Computer
Vikas Tiwari and Sonia Dubey
EasyChair Preprint no. 4958
Self-Adapting Algorithms of the Control System
Romans Djakons, Irina Kazina and Rostislav Kopitov
EasyChair Preprint no. 4366
A Knuth-Bendix-Like Ordering for Orienting Combinator Equations (Technical Report)
Ahmed Bhayat and Giles Reger
EasyChair Preprint no. 3191
An Inference Rule for the Acyclicity Property of Term Algebras
Simon Robillard
In:Vampire 2017. Proceedings of the 4th Vampire Workshop
First-Order Interpolation and Interpolating Proof Systems
Laura Kovács and Andrei Voronkov
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Polymorphic+Typeclass Superposition
Daniel Wand
In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning
BDI: A New Decidable First-order Clause Class
Manuel Lamotte-Schubert and Christoph Weidenbach
In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Satisfiability Checking and Query Answering for Large Ontologies
Christoph Weidenbach and Patrick Wischnewski
In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
Copyright © 2012-2023 easychair.org. All rights reserved.