|
М |
The Classical Decision Problem |
1997 |
Borger E., Gradel E., Gurevich Y. |
|
|
|
|
11.07.2001 |
|
СТ |
Descriptive Complexity Theory for Constraint Databases |
1999 |
Gradel E., Kreutzer S. |
|
|
|
Lecture Notes in Computer Science |
12.11.1999 |
|
СТ |
Metafinite Model Theory |
1995 |
Gradel E., Gurevich Yu. |
Lecture Notes in Computer Science |
|
|
Logic and Computational Complexity |
27.09.1995 |
|
СТ |
Tailoring Recursion for Complexity |
1994 |
Gradel E., Gurevich Y. |
|
|
|
Lecture Notes in Computer Science |
09.08.1994 |
|
СТ |
Inductive Definability with Counting on Finite Structures |
1993 |
Gradel E., Otto M. |
|
|
|
Lecture Notes in Computer Science |
06.11.1993 |
