Вы здесь

Kozen D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Eager Class Initialization for Java 2002 Kozen D., Stillerman M. Lecture Notes in Computer Science 09.10.2002
М Dynamic Logic 2000 Harel D., Kozen D., Tiuryn J. 11.07.2001
СТ Logics of Programs 1994 Kozen D., Tiuryn J. Handbook of Theoretical Computer Science. Formal Models and Semantics. Volume B 27.01.1998
СТ Kleene Algebra with Tests and Commutativity Conditions 1996 Kozen D. Lecture Notes in Computer Science 24.04.1996
СТ Efficient Resolution of Singularities of Plane Curves 1994 Kozen D. Lecture Notes in Computer Science 11.01.1995
СТ Set Constraints and Logic Programming 1994 Kozen D. Lecture Notes in Computer Science 01.10.1994
СТ The Complexity of Set Constraints 1994 Aiken A., Kozen D., Vardi M., Wimmers E. Lecture Notes in Computer Science 25.08.1994
СТ Logical Aspects of Set Constraints 1994 Kozen D. Lecture Notes in Computer Science 25.08.1994

Редактор: