Вы здесь

Главная

Logic and Computational Complexity

Связанные издания:

A Constant-Space Sequential Model of Computation for First-Order Logic
A Query Language for NC (Extended Abstract)
A Restricted Second Order Logic for Finite Structures
Automatic Presentations of Structures
Comparing the Power of Monadic NP Games
Computation Models and Function Algebras
Expressing Computational Complexity in Constructive Type Theory
Feasibly Categorical Models
Intrinsic Theories and Computational Complexity
Light Linear Logic
Linear Constraint Query Languages Expressive Power and Complexity
Logics Capturing Relativized Complexity Classes Uniformly
Metafinite Model Theory
On Parallel Hierarchies and R
Preservation Theorems in Finite Model Theory
Program Extraction from Classical Proofs
The Hierarchy of Terminating Recursive Programs over N