Вы здесь

Caucal D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Elementary Bisimulaton Decision Procedure for Arbitrary Context-Free Processes 1995 Burkart O., Caucal D., Steffen B. Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1995 24.10.1995
СТ Branching Bisimulation for Context-Free Processes 1992 Caucal D. Lecture Notes in Computer Science 28.12.1992
П On the regular structure of prefix rewritings 1990 Caucal D. INRIA 21.02.1991