1
Semantics of Programming Languages and Model Theory

Semantics of Programming Languages and Model Theory

Manfred Droste, Yuri Gurevich
Год:
1993
Язык:
english
Файл:
PDF, 12.13 MB
0 / 0
english, 1993
3
Semantics of Programming Languages and Model Theory

Semantics of Programming Languages and Model Theory

Manfred Droste, Yuri Gurevich
Год:
1993
Язык:
english
Файл:
DJVU, 5.26 MB
0 / 0
english, 1993
7
The Classical Decision Problem

The Classical Decision Problem

Egon Börger, Erich Gradel, Yuri Gurevich
Год:
1997
Язык:
english
Файл:
DJVU, 5.98 MB
0 / 0
english, 1997
8
Abstract State Machines 2004 Advances in Theory and Practice

Abstract State Machines 2004 Advances in Theory and Practice

Yuri Gurevich (auth.), Wolf Zimmermann, Bernhard Thalheim (eds.)
Год:
2004
Язык:
english
Файл:
PDF, 6.92 MB
0 / 0
english, 2004
9
The classical decision problem

The classical decision problem

Grädel, Erich, Gurevich, Yuri, Börger, Egon
Год:
1997
Язык:
english
Файл:
DJVU, 4.69 MB
0 / 0
english, 1997
10
Abstract State Machines Theory and Applications

Abstract State Machines Theory and Applications

Egon Börger, Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
Год:
2000
Язык:
english
Файл:
PDF, 3.75 MB
0 / 0
english, 2000
12
Abstract State Machines Theory and Applications

Abstract State Machines Theory and Applications

Egon Börger (auth.), Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele (eds.)
Год:
2000
Язык:
english
Файл:
PDF, 3.80 MB
0 / 0
english, 2000