СТ |
Verification in Predicate Logic with Time: Algorithmic Questions |
2005 |
Slissenko A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
19.10.2005 |
СТ |
On the Complexity of Finite Memory Policies for Markov Decision Processes |
1995 |
Beauquier D., Burago D., Slissenko A. |
Lecture Notes in Computer Science |
|
|
Mathematical Foundations of Computer Science 1995 |
21.10.1995 |
СТ |
On Fault Tolerance of Syntax |
1991 |
Slissenko A. |
|
|
INRIA |
Informatika 91: Theoretical Computer Science and Methods of Compilation and Program Construction |
19.11.1991 |