The Classical Decision Problem
Latest Publications

TOTAL DOCUMENTS

8
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540423249, 9783642592072
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Standard Classes with the Finite Model Property

1997 ◽  
pp. 239-313
Author(s):  
Egon Börger ◽  
Erich Grädel ◽  
Yuri Gurevich
Keyword(s):  
Finite Model ◽  
Model Property ◽  
Finite Model Property

Undecidable Standard Classes for Pure Predicate Logic

1997 ◽  
pp. 85-148
Author(s):  
Egon Börger ◽  
Erich Grädel ◽  
Yuri Gurevich
Keyword(s):  
Predicate Logic

Other Decidable Cases

1997 ◽  
pp. 377-405
Author(s):  
Egon Börger ◽  
Erich Grädel ◽  
Yuri Gurevich

Monadic Theories and Decidable Standard Classes with Infinity Axioms

1997 ◽  
pp. 315-375
Author(s):  
Egon Börger ◽  
Erich Grädel ◽  
Yuri Gurevich

Other Undecidable Cases

1997 ◽  
pp. 189-235
Author(s):  
Egon Börger ◽  
Erich Grädel ◽  
Yuri Gurevich

Undecidable Standard Classes with Functions or Equality

1997 ◽  
pp. 149-188
Author(s):  
Egon Börger ◽  
Erich Grädel ◽  
Yuri Gurevich

Reductions

1997 ◽  
pp. 17-83
Author(s):  
Egon Börger ◽  
Erich Grädel ◽  
Yuri Gurevich

Introduction: The Classical Decision Problem

1997 ◽  
pp. 1-13
Author(s):  
Egon Börger ◽  
Erich Grädel ◽  
Yuri Gurevich
Keyword(s):  
Decision Problem ◽  
Classical Decision
Load More ...
Sign in / Sign up

Export Citation Format

Share Document