|
СТ |
The Boundary Between Decidability and Undecidability for Transitive-Closure Logics |
2004 |
Immerman N., Rabinovich A., Sagiv M., Yorsh G. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
23.12.2004 |
|
СТ |
Verification via Structure Simulation |
2004 |
Immerman N., Rabinovich A., Reps T. W., Sagiv M., Yorsh G. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
04.09.2004 |
|
СТ |
Descriptive Complexity and Model Checking |
1998 |
Immerman N. |
|
|
|
Lecture Notes in Computer Science |
22.12.1998 |
