Keyword:completeness

Papers
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel and Uwe Waldmann EasyChair Preprint no. 396
Reasoning Inside The Box: Deduction in Herbrand Logics Liron Cohen and Yoni Zohar In:GCAI 2017. 3rd Global Conference on Artificial Intelligence
Asynchronous testing of real-time systems Puneet Bhateja In:SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017
A rewrite-based computational model for functional logic programming Mircea Marin, Temur Kutsia and Besik Dundua In:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science
Computational Completeness of Interaction Machines and Turing Machines Peter Wegner, Eugene Eberbach and Mark Burgin In:Turing-100. The Alan Turing Centenary