Lecture Notes in Computer Science - Logic and Computational Complexity
Latest Publications

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540601784, 9783540447207

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Strict finitism and feasibility

Lecture Notes in Computer Science - Logic and Computational Complexity ◽

10.1007/3-540-60178-3_76 ◽

1995 ◽

pp. 1-21

Author(s):

Felice Cardone

Keyword(s):

Strict Finitism

Download Full-text

Logical omniscience

Lecture Notes in Computer Science - Logic and Computational Complexity ◽

10.1007/3-540-60178-3_77 ◽

1995 ◽

pp. 22-29 ◽

Author(s):

Rohit Parikh

Keyword(s):

Logical Omniscience

Download Full-text

Intrinsic theories and computational complexity

Lecture Notes in Computer Science - Logic and Computational Complexity ◽

10.1007/3-540-60178-3_84 ◽

1995 ◽

pp. 177-194 ◽

Author(s):

Daniel Leivant

Keyword(s):

Computational Complexity

Download Full-text

Some consequences of cryptographical conjectures for S 2 1 and EF

Lecture Notes in Computer Science - Logic and Computational Complexity ◽

10.1007/3-540-60178-3_86 ◽

1995 ◽

pp. 210-220 ◽

Author(s):

Jan Krajíček ◽

Pavel Pudlák

Download Full-text

Preservation theorems in finite model theory

Lecture Notes in Computer Science - Logic and Computational Complexity ◽

10.1007/3-540-60178-3_99 ◽

1995 ◽

pp. 480-502 ◽

Author(s):

Eric Rosen ◽

Scott Weinstein

Keyword(s):

Model Theory ◽

Finite Model ◽

Finite Model Theory ◽

Preservation Theorems

Download Full-text

Linear constraint query languages expressive power and complexity

Lecture Notes in Computer Science - Logic and Computational Complexity ◽

10.1007/3-540-60178-3_96 ◽

1995 ◽

pp. 426-446 ◽

Author(s):

Stéphane Grumbach ◽

Jianwen Su ◽

Christophe Tollu

Keyword(s):

Expressive Power ◽

Linear Constraint ◽

Query Languages

Download Full-text

Automatic presentations of structures

Lecture Notes in Computer Science - Logic and Computational Complexity ◽

10.1007/3-540-60178-3_93 ◽

1995 ◽

pp. 367-392 ◽

Author(s):

Bakhadyr Khoussainov ◽

Anil Nerode

Keyword(s):

Automatic Presentations

Download Full-text

Light linear logic

Lecture Notes in Computer Science - Logic and Computational Complexity ◽

10.1007/3-540-60178-3_83 ◽

1995 ◽

pp. 145-176 ◽

Author(s):

Jean-Yves Girard

Keyword(s):

Download Full-text

A constant-space sequential model of computation for first-order logic

Lecture Notes in Computer Science - Logic and Computational Complexity ◽

10.1007/3-540-60178-3_97 ◽

1995 ◽

pp. 447-462 ◽

Author(s):

Steven Lindell

Keyword(s):

Order Logic ◽

First Order Logic ◽

Sequential Model ◽

Model Of Computation ◽

Download Full-text

Type 2 polynomial hierarchies

Lecture Notes in Computer Science - Logic and Computational Complexity ◽

10.1007/3-540-60178-3_89 ◽

1995 ◽

pp. 269-280

Author(s):

Anil Seth

Download Full-text