- Towards NP – P via proof complexity and search.Samuel R. Buss - 2012 - Annals of Pure and Applied Logic 163 (7):906-917.details
|
|
Logic in mathematics and computer science.Richard Zach - forthcoming - In Filippo Ferrari, Elke Brendel, Massimiliano Carrara, Ole Hjortland, Gil Sagi, Gila Sher & Florian Steinberger (eds.), Oxford Handbook of Philosophy of Logic. Oxford, UK: Oxford University Press.details
|
|
How Is Perception Tractable?Tyler Brooke-Wilson - forthcoming - The Philosophical Review.details
|
|
Dynamic Tractable Reasoning: A Modular Approach to Belief Revision.Holger Andreas - 2020 - Cham, Schweiz: Springer.details
|
|
(1 other version)Temporal Logic Model Checkers as Applied in Computer Science.Kazimierz Trzęsicki - 2009 - In Dariusz Surowik (ed.), Logic in knowledge representation and exploration. Białystok: University of Białystok. pp. 13.details
|
|
(1 other version)Temporal Logic Model Checkers as Applied in Computer Science.Kazimierz Trzęsicki - 2009 - Studies in Logic, Grammar and Rhetoric 17 (30).details
|
|
Group Cancellation and Resolution.Alessandra Carbone - 2006 - Studia Logica 82 (1):73-93.details
|
|
Some applications of propositional logic to cellular automata.Stefano Cavagnetto - 2009 - Mathematical Logic Quarterly 55 (6):605-616.details
|
|
Modelling ethical rules of lying with answer set programming.Jean-Gabriel Ganascia - 2007 - Ethics and Information Technology 9 (1):39-47.details
|
|
Are tableaux an improvement on truth-tables?Marcello D'Agostino - 1992 - Journal of Logic, Language and Information 1 (3):235-252.details
|
|
The Computational Origin of Representation.Steven T. Piantadosi - 2020 - Minds and Machines 31 (1):1-58.details
|
|
Foo, Bar, Baz…: The Metasyntactic Variable and the Programming Language Hierarchy.Brian Lennon - 2019 - Philosophy and Technology 34 (1):13-32.details
|
|
Towards feasible solutions of the tautology problem.Bradford Dunham & Hao Wang - 1976 - Annals of Mathematical Logic 10 (2):117-154.details
|
|
Complexity of resolution proofs and function introduction.Matthias Baaz & Alexander Leitsch - 1992 - Annals of Pure and Applied Logic 57 (3):181-215.details
|
|
Spatial state-action features for general games.Dennis J. N. J. Soemers, Éric Piette, Matthew Stephenson & Cameron Browne - 2023 - Artificial Intelligence 321 (C):103937.details
|
|
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
Short propositional refutations for dense random 3CNF formulas.Sebastian Müller & Iddo Tzameret - 2014 - Annals of Pure and Applied Logic 165 (12):1864-1918.details
|
|
Foo, Bar, Baz…: The Metasyntactic Variable and the Programming Language Hierarchy.Brian Lennon - 2019 - Philosophy and Technology 34 (1):13-32.details
|
|
Foo, Bar, Baz…: The Metasyntactic Variable and the Programming Language Hierarchy.Brian Lennon - 2019 - Philosophy and Technology 34 (1):13-32.details
|
|
Modal Hybrid Logic.Andrzej Indrzejczak - 2007 - Logic and Logical Philosophy 16 (2-3):147-257.details
|
|
Relative efficiency of propositional proof systems: resolution vs. cut-free LK.Noriko H. Arai - 2000 - Annals of Pure and Applied Logic 104 (1-3):3-16.details
|
|