|
СТ |
Generalized Categorial Dependency Grammars |
2008 |
Dekhtyar M., Dikovsky A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
15.04.2008 |
|
СТ |
Temporal Verification of Probabilistic Multi-Agent Systems |
2008 |
Dekhtyar M., Dikovsky A., Valiev M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
15.04.2008 |
|
СТ |
Maximal Expansions of Database Updates |
2000 |
Dekhtyar M., Dikovsky A., Dudakov S., Spyratos N. |
|
|
|
Lecture Notes in Computer Science |
19.02.2000 |
|
СТ |
Construction of Programs- an Alternative to Automatic Synthesis |
1991 |
Dikovsky A. |
|
|
INRIA |
Informatika 91: Theoretical Computer Science and Methods of Compilation and Program Construction |
20.11.1991 |
