Search results for "LCC"

Found 26 publication records. Showing 26 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link
1	Daniel Leivant (eds.)	Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop LCC '94, Indianapolis, Indiana, USA, 13-16 October 1994	LCC	1995	DBLP DOI BibTeX RDF
1	Bakhadyr Khoussainov, Anil Nerode	Automatic Presentations of Structures.	LCC	1994	DBLP DOI BibTeX RDF
1	Rohit Parikh	Logical Omniscience.	LCC	1994	DBLP DOI BibTeX RDF
1	Stéphane Grumbach, Jianwen Su, Christophe Tollu	Linear Constraint Query Languages: Expressive Power and Complexity.	LCC	1994	DBLP DOI BibTeX RDF
1	Steven Lindell	A Constant-Space Sequential Model of Computation for First-Order Logic.	LCC	1994	DBLP DOI BibTeX RDF
1	Dan Suciu, Val Tannen	A Query Language for NC.	LCC	1994	DBLP DOI BibTeX RDF
1	Eric Rosen, Scott Weinstein	Preservation Theorems in Finite Model Theory.	LCC	1994	DBLP DOI BibTeX RDF
1	Daniel Leivant	Intrinsic Theories and Computational Complexity.	LCC	1994	DBLP DOI BibTeX RDF
1	Anil Seth	Type 2 Polynomial Hierarchies.	LCC	1994	DBLP DOI BibTeX RDF
1	Ulrich Berger 0001, Helmut Schwichtenberg	Program Extraction from Classical Proofs.	LCC	1994	DBLP DOI BibTeX RDF
1	Stanley S. Wainer	The Hierarchy of terminating Recursive Programs over N.	LCC	1994	DBLP DOI BibTeX RDF
1	Ronald Fagin	Comparing the Power of Monadic NP Games.	LCC	1994	DBLP DOI BibTeX RDF
1	Anuj Dawar	A Restricted Second Order Logic for Finite Structures.	LCC	1994	DBLP DOI BibTeX RDF
1	Felice Cardone	Strict Finitism and Feasibility.	LCC	1994	DBLP DOI BibTeX RDF
1	Stephen A. Bloch	On Parallel Hierarchies and R_k^i.	LCC	1994	DBLP DOI BibTeX RDF
1	Johann A. Makowsky, Y. B. Pnueli	Logics Capturing Relativized Complexity Classes Uniformly.	LCC	1994	DBLP DOI BibTeX RDF
1	Peter Clote	Computational Models and Function Algebras.	LCC	1994	DBLP DOI BibTeX RDF
1	Gaisi Takeuti	Frege Proof System and TNC°.	LCC	1994	DBLP DOI BibTeX RDF
1	Stephen J. Bellantoni	Characterizing Parallel Time by Type 2 Recursions With Polynomial Output Length.	LCC	1994	DBLP DOI BibTeX RDF
1	Samuel R. Buss	On Herbrand's Theorem.	LCC	1994	DBLP DOI BibTeX RDF
1	Vladimir Yu. Sazonov	On Feasible Numbers.	LCC	1994	DBLP DOI BibTeX RDF
1	Jan Krajícek, Pavel Pudlák	Some Consequences of Cryptographical Conjectures for S_2^1 and EF.	LCC	1994	DBLP DOI BibTeX RDF
1	Jean-Yves Girard 0001	Light Linear Logic.	LCC	1994	DBLP DOI BibTeX RDF
1	Douglas A. Cenzer, Jeffrey B. Remmel	Feasibly Categorial Models.	LCC	1994	DBLP DOI BibTeX RDF
1	Robert L. Constable	Expressing Computational Complexity in Constructive Type Theory.	LCC	1994	DBLP DOI BibTeX RDF
1	Erich Grädel, Yuri Gurevich	Metafinite Model Theory.	LCC	1994	DBLP DOI BibTeX RDF

Publications at "LCC"( http://dblp.L3S.de/Venues/LCC )