Вы здесь

Comon H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Constraints in Term Algebras 1995 Comon H. Lecture Notes in Computer Science 19.04.1995
СТ Pumping, Cleaning and Symbolic Constraints Solving 1994 Caron A. -C., Comon H., Coquide J. -L., Dauchet M., Jacquemard F. Lecture Notes in Computer Science 11.08.1994
СТ Ordering Constraints on Trees 1994 Comon H., Treinen R. Lecture Notes in Computer Science 30.04.1994
СТ Complete Axiomatizations of some Quotient Term Algebras 1991 Comon H. Lecture Notes in Computer Science 12.09.1991