Вы здесь

Petit A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A (Non-elementary) Modular Decision Procedure for LTrL 1998 Gastin P., Meyer R., Petit A. Lecture Notes in Computer Science 02.09.1998
СТ Modular constructions of distributing automata 1995 Huguet S., Petit A. Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1995 24.10.1995
СТ Speedup of Recognizable Trace Languages 1993 Cerin C., Petit A. Lecture Notes in Computer Science 20.10.1993
СТ Recognizable trace languages, distributed automata and the distribution problem 1993 Petit A. Acta Informatica 22.03.1993
СТ Poset Properties of Complex Traces 1992 Gastin P., Petit A. Lecture Notes in Computer Science 17.09.1992
СТ A Survey of Recognizable Languages of Infinite Traces 1992 Gastin P., Petit A. Lecture Notes in Computer Science 09.07.1992
СТ A Kleene theorem for infinite trace languages 1991 Gastin P., Petit A., Zielonka W. Lecture Notes in Computer Science 12.09.1991