"On Search Problems in Complexity Theory and in Logic (Abstract)"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
complexity, logic, and recursion theory	Andrea Sorbi	1997	Routledge
Bounded Arithmetic, Propositional Logic and Complexity Theory	Jan Krajicek	1995-11	Cambridge University Press
Logic and Complexity	Richard Lassaigne; Michel de Rougemont	2004	Springer London
Boundary Value Problems in Abstract Kinetic Theory	William Greenberg, Cornelis van der Mee, Vladimir Protopopescu (auth.)	1987	Birkhäuser Basel
Boundary Value Problems in Abstract Kinetic Theory	William Greenberg; Cornelis Mee; Vladimir Protopopescu	1987	Birkhäuser Basel
Abstract Recursion and Intrinsic Complexity	Yiannis N. Moschovakis	2018-12	Cambridge University Press
Abstract Recursion and Intrinsic Complexity	Yiannis N. Moschovakis	2019	Cambridge University Press / Association for Symbolic Logic
Theory and Applications of Abstract Semilinear Cauchy Problems	Pierre Magal; Shigui Ruan	1st ed. 2018	Springer International Publishing
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms	Igor Lavrov; Larisa Maksimova; G. Corsi	2003	Springer US
Computability, Complexity, Logic	E. Börger	1989	Elsevier
Problems in Abstract Algebra	Adrian R. Wadsworth	2017
Entropy, Search, Complexity	Imre Csiszár; Gyula O.H. Katona; Gabor Tardos	2007	Springer Berlin Heidelberg
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity	Shawn Hedman	2004	Oxford University Press
Reductive Logic and Proof-search: Proof Theory, Semantics, and Control	David J. Pym; Eike Ritter	2004	Oxford University Press
Complexity in Information Theory	Yaser S. Abu-Mostafa	1988	Springer New York
Structure in Complexity Theory	Structure in Complexity Theory Conference (2nd 1987 Cornell University)	June 1987	IEEE Publications,U.S.
Nonlinear Problems in Abstract Cones	Dajun Guo; V. Lakshmikantham and William F. Ames	1988	Academic Press
Computational Problems in Abstract Algebra	John Leech	1970	Pergamon
Linear and Quasilinear Parabolic Problems: Volume I: Abstract Linear Theory	Herbert Amann	1995	Birkhäuser Basel
Algorithmic complexity and communication problems /	Barthelemy, Jean-Pierre,; Cohen, G.; Lobstein, A.		Taylor & Francis Group
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
On Search Problems in Complexity Theory and in Logic (Abstract)	Pavel Pudlák	Algorithms and Complexity: 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006, Proceedings	Tiziana Calamoneri; Irene Finocchi; Giuseppe F. Italiano	2006	Springer Berlin Heidelberg
On Search Problems in Complexity Theory and in Logic (Abstrac		Algorithms and Complexity: 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006. Proceedings	Kurt Mehlhorn (auth.), Tiziana Calamoneri, Irene Finocchi, Giuseppe F. Italiano (eds.)	2006	Springer-Verlag Berlin Heidelberg
Abstract Complexity Theory	Carl H. Smith	A Recursive Introduction to the Theory of Computation	Carl Smith	1994	Springer New York
Abstract Complexity Theory	Douglas S. Bridges	Computability: A Mathematical Sketchbook	Douglas S. Bridges	1994	Springer New York
Complexity issues in nonmonotonic logic and logic programming (abstract)	V. Wiktor Marek	Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC' 93, Brno, Czech Republic, August 24-27, 1993. Proceedings	Georg Gottlob; Alexander Leitsch; Daniele Mundici	1993	Springer Berlin Heidelberg
On Miniaturized Problems in Parameterized Complexity Theory	Yijia Chen; Jörg Flum	Parameterized and Exact Computation: First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, Proceedings	Frank Dehne; Rod Downey; Michael Fellows	2004	Springer Berlin Heidelberg
Chapter 2 - Abstract complexity theory		Computational Complexity: A Quantitative Perspective	Marius Zimand	2004	North-Holland
Effective category and measure in abstract complexity theory	Cristian Calude; Marius Zimand	Fundamentals of Computation Theory: 10th International Conference, FCT ' 95, Dresden, Germany, August 22 - 25, 1995. Proceedings	Horst Reichel	1995	Springer Berlin Heidelberg
Degrees of Unsolvability in Abstract Complexity Theory	M. Kummer	Complexity theory: current research /	Ambos-Spies, K.; Homer, S.; Schöning, Uwe,	1993.	Cambridge University Press,
Abstract Complexity		Theory of Computation	Dexter C. Kozen	2006	Springer London
Abstract Complexity	Martin D. Davis; Elaine J. Weyuker	Computability, Complexity, and Languages	Martin D. Davis; Elaine J. Weyuker and Werner Rheinboldt	1983	Academic Press
Abstract Complexity	Martin D. Davis; Ron Sigal; Elaine J. Weyuker	Computability, Complexity, and Languages (Second Edition)	Davis; Martin	1994	Morgan Kaufmann
Logic and Complexity		Parameterized Complexity Theory	J. Flum; M. Grohe	2006	Springer Berlin Heidelberg
Complexity in Abstract Poetry	Rengin Özesmi	Chaos, Complexity and Leadership 2017: Explorations of Chaos and Complexity Theory	Şefika Şule Erçetin; Nihan Potas	1st ed. 2019	Springer International Publishing
Spectral Problems and Descriptive Complexity Theory	Uwe Schöning; Randall Pruim	Gems of Theoretical Computer Science	Uwe Schöning; Randall J. Pruim	1998	Springer Berlin Heidelberg
Natural language processing, complexity theory and logic	Akshar Bharati; Rajeev Sangal; Vineet Chaitanya	Foundations of Software Technology and Theoretical Computer Science: Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings	Kesav V. Nori; C.E. Veni Madhavan	1990	Springer Berlin Heidelberg
Logic Complexity		Fundamentals of Python Programming	Richard L. Halterman	2019	Southern Adventist University
Algorithms and complexity of sandwich problems in graphs (extended abstract)	Martin Charles Golumbic; Haim Kaplan; Ron Shamir	Graph-Theoretic Concepts in Computer Science: 19th International Workshop, WG ' 93, Utrecht, The Netherlands, June 16 - 18, 1993. Proceedings	Jan Leeuwen	1994	Springer Berlin Heidelberg
A category arising in linear logic, complexity theory and set theory	A. Blass	Advances in Linear Logic	Jean-Yves Girard; Yves Lafont; Laurent Regnier	1995-06	Cambridge University Press
On the complexity of some Inductive Logic Programming problems	Georg Gottlob; Nicola Leone; Francesco Scarcello	Inductive Logic Programming: 7th International Workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997, Proceedings	Nada Lavrač; Saso Dzeroski	1997	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"On Search Problems in Complexity Theory and in Logic (Abstract)" - similar Books and Chapters