Keyword:completeness

Publications
Note for the P Versus NP Problem (II) Frank Vega EasyChair Preprint 13469
Machine Learning Models for Data Quality Assessment Edwin Frank EasyChair Preprint 13213
Note for the P versus NP Problem Frank Vega EasyChair Preprint 11886
On Feasibly Solving NP-Complete Problems Frank Vega EasyChair Preprint 11063
NP on Logarithmic Space Frank Vega EasyChair Preprint 9555
Sharp-P and the Birch and Swinnerton-Dyer Conjecture Frank Vega EasyChair Preprint 9368
SAT is as Hard as Solving Homogeneous Diophantine Equation of Degree Two Frank Vega EasyChair Preprint 9354
Gödel Mathematics Versus Hilbert Mathematics. I. the Gödel Incompleteness (1931) Statement: Axiom or Theorem? Vasil Penchev EasyChair Preprint 9073
Fermat’s Last Theorem Proved in Hilbert Arithmetic. III. the Quantum-Information Unification of Fermat’s Last Theorem and Gleason's Theorem Vasil Penchev EasyChair Preprint 8280
Short Note on P vs NP Frank Vega EasyChair Preprint 7447
A Framework for Intuitionistic Grammar Logics Tim Lyon EasyChair Preprint 7068
Dense Complete Set For NP Frank Vega EasyChair Preprint 6893
A Mathematical Conjecture from P versus NP Frank Vega EasyChair Preprint 3415
Representation and Reality by Language: How to make a home quantum computer? Vasil Penchev EasyChair Preprint 3371
From the Four-Colors Theorem to a Generalizing “Four-Letters Theorem”: a Sketch for “Human Proof” and the Philosophical Interpretation Vasil Penchev EasyChair Preprint 3194
P versus NP Frank Vega EasyChair Preprint 3061
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel and Uwe Waldmann EasyChair Preprint 396
Models of Concurrent Kleene Algebra Alexandra Silva In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
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