Вы здесь

Tison S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ 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