Вы здесь

Gurevich Yu.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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