Logic and Complexity
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer London

9781447110521, 9780857293923
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Propositional logic

2004 ◽  
pp. 5-23
Author(s):  
Richard Lassaigne ◽  
Michel de Rougemont
Keyword(s):  
Propositional Logic

Classes beyond NP

2004 ◽  
pp. 323-342
Author(s):  
Richard Lassaigne ◽  
Michel de Rougemont

Definability of optimization and counting problems

2004 ◽  
pp. 251-262
Author(s):  
Richard Lassaigne ◽  
Michel de Rougemont
Keyword(s):  
Counting Problems

Recursion and decidability

2004 ◽  
pp. 83-108
Author(s):  
Richard Lassaigne ◽  
Michel de Rougemont

Completeness of first order logic

2004 ◽  
pp. 57-66
Author(s):  
Richard Lassaigne ◽  
Michel de Rougemont
Keyword(s):  
Order Logic ◽  
First Order Logic ◽  
First Order

First-order logic

2004 ◽  
pp. 41-55
Author(s):  
Richard Lassaigne ◽  
Michel de Rougemont
Keyword(s):  
Order Logic ◽  
First Order Logic ◽  
First Order

Space complexity: the classes L, FL, NL and PSPACE

2004 ◽  
pp. 229-250
Author(s):  
Richard Lassaigne ◽  
Michel de Rougemont
Keyword(s):  
Space Complexity

Time complexity: the classes P and NP

2004 ◽  
pp. 191-212
Author(s):  
Richard Lassaigne ◽  
Michel de Rougemont
Keyword(s):  
Time Complexity

Inductive definitions and second-order logic

2004 ◽  
pp. 175-190
Author(s):  
Richard Lassaigne ◽  
Michel de Rougemont
Keyword(s):  
Second Order ◽  
Order Logic ◽  
Inductive Definitions ◽  
Second Order Logic

First-order definability

2004 ◽  
pp. 151-174
Author(s):  
Richard Lassaigne ◽  
Michel de Rougemont
Keyword(s):  
First Order ◽  
First Order Definability
Load More ...
Sign in / Sign up

Export Citation Format

Share Document