Вы здесь

Barthelmann K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Local Normal Forms for First-Order Logic with Applications to Games and Automata 1998 Schwentick T., Barthelmann K. Lecture Notes in Computer Science 31.03.1998
СТ Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems 1994 Barthelmann K., Schied G. Lecture Notes in Computer Science 27.04.1994