СТ |
Semantic Essence of AsmL: Extended Abstract |
2004 |
Gurevich Yu., Rossman B., Schulte W. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
12.02.2005 |
СТ |
Evolving Algebras 1993: Lipari Guide |
2004 |
Gurevich Yu. |
|
|
|
Moscow Computer Sience School 2004 - ASM: Abstract State Machine |
29.10.2004 |
СТ |
Sequential Abstract State Machines Capture Sequential Algorithms |
2004 |
Gurevich Yu. |
|
|
|
Moscow Computer Sience School 2004 - ASM: Abstract State Machine |
29.10.2004 |
СТ |
Generating Finite State Machines from Abstract State Machines |
2004 |
Grieskamp W., Gurevich Yu., Schulte W., Veanes M. |
|
|
|
Moscow Computer Sience School 2004 - ASM: Abstract State Machine |
29.10.2004 |
СТ |
Abstract State Machines Capture Parallel Algorithms |
2004 |
Blass A., Gurevich Yu. |
|
|
|
Moscow Computer Sience School 2004 - ASM: Abstract State Machine |
29.10.2004 |
СТ |
Semantic Essence of AsmL |
2004 |
Gurevich Yu., Rossman B., Schulte W. |
|
|
|
Moscow Computer Science School 2004 - ASM: Abstract State Machine |
29.10.2004 |
СТ |
Syntax vs. Semantics on Finite Structures |
1997 |
Alechina N., Gurevich Yu. |
|
|
|
Lecture Notes in Computer Science |
30.08.1997 |
СТ |
Metafinite Model Theory |
1995 |
Gradel E., Gurevich Yu. |
Lecture Notes in Computer Science |
|
|
Logic and Computational Complexity |
27.09.1995 |