Вы здесь

Gurevich Y.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Why Sets? 2008 Blass A., Gurevich Y. Lecture Notes in Computer Science Lecture Notes in Computer Science 15.04.2008
СТ The Abstract State Machine Paradigm: What Is in and What Is out 2001 Gurevich Y. Lecture Notes in Computer Science 06.02.2002
СТ The Logic in Computer Science Column. How to Find a Coin: Propositional Program Logics Made Easy (by Shilov N.V., Yi K.) 2001 Gurevich Y. EATCS Bull. 04.11.2001
М The Classical Decision Problem 1997 Borger E., Gradel E., Gurevich Y. 11.07.2001
СТ Investigating Java Concurrency Using Abstract State Machines 2000 Gurevich Y., Schulte W., Wallace C. Lecture Notes in Computer Science 27.10.2000
СТ Tailoring Recursion for Complexity 1994 Gradel E., Gurevich Y. Lecture Notes in Computer Science 09.08.1994
СТ The Semantics of the C Programming Language 1993 Gurevich Y., Huggins J. K. Lecture Notes in Computer Science 06.11.1993
СТ The Logic in Computer Science Column 1993 Gurevich Y. EATCS Bull. 24.03.1993
СТ Zero-One Laws 1992 Gurevich Y. EATCS Bull. 07.08.1992
СТ Average Case Complexity 1991 Gurevich Y. Lecture Notes in Computer Science 12.09.1991
СТ Evolving Algebras: A Tutorial Introduction 1991 Gurevich Y. EATCS Bull. 27.06.1991