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