Вы здесь

Tison S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Set-Based Analysis for Logic Programming and Tree Automata 1997 Talbot J. M., Tison S., Devienne P. Lecture Notes in Computer Science 20.09.1997
СТ Solving Systems of Set Constraints using Tree Automata 1993 Gilleron R., Tison S., Tommasi M. Lecture Notes in Computer Science 06.04.1993
СТ Some New Decidability Results on Positive and Negative Set Constrains 1994 Gilleron R., Tison S., Tommasi M. Lecture Notes in Computer Science 01.10.1994