Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers /
Guardat en:
| Altres autors: | |
|---|---|
| Format: | Llibre |
| Idioma: | English |
| Publicat: |
Berlin ; New York :
Springer,
c1995.
|
| Col·lecció: | Lecture notes in computer science ;
960. |
| Matèries: |
Taula de continguts:
- Strict Finitism and Feasibility / Felice Cardone
- Logical Omniscience / Rohit Parikh
- On Feasible Numbers / Vladimir Yu. Sazonov
- On Parallel Hierarchies and [actual symbol not reproducible] / Stephen Bloch
- Program Extraction from Classical Proofs / Ulrich Berger and Helmut Schwichtenberg
- Computational Models and Function Algebras / Peter Clote
- Expressing Computational Complexity in Constructive Type Theory / Robert L. Constable
- Light Linear Logic / Jean-Yves Girard
- Intrinsic Theories and Computational Complexity / Daniel Leivant
- On Herbrand's Theorem / Samuel R. Buss
- Some Consequences of Cryptographical Conjectures for [actual symbol not reproducible] and EF / Jan Krajicek and Pavel Pudlak
- Frege Proof System and [actual symbol not reproducible] / Gaisi Takeuti
- Characterizing Parallel Time by Type 2 Recursions With Polynomial Output Length / Stephen J. Bellantoni
- Type 2 Polynomial Hierarchies / Anil Seth.
- The Hierarchy of Terminating Recursive Programs over N / Stanley S. Wainer
- Feasibly Categorical Models / Douglas Cenzer and Jeffrey B. Remmel
- Metafinite Model Theory / Erich Gradel and Yuri Gurevich
- Automatic Presentations of Structures / Bakhadyr Khoussainov and Anil Nerode
- A Restricted Second Order Logic for Finite Structures / Anuj Dawar
- Comparing the Power of Monadic NP Games / Ronald Fagin
- Linear Constraint Query Languages: Expressive Power and Complexity / Stephane Grumbach, Jianwen Su and Christophe Tollu
- A Constant-Space Sequential Model of Computation for First-Order Logic / Steven Lindell
- Logics Capturing Relativized Complexity Classes Uniformly / J. A. Makowsky and Y. B. Pnueli
- Preservation Theorems in Finite Model Theory / Eric Rosen and Scott Weinstein
- A Query Language for NC / Dan Suciu and Val Breazu-Tannen.