Вы здесь
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 | |||
| СТ | 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 | |||
| СТ | Solving Systems of Set Constraints using Tree Automata | 1993 | Gilleron R., Tison S., Tommasi M. | Lecture Notes in Computer Science | 06.04.1993 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Rewriting Techniques and Applications: Proc./13th Intern. Conf., RTA 2002, Copenhagen, Denmark, July 2002 | 2002 | Lecture Notes in Computer Science |
|
07.08.2002 | |||
| СБ | STACS 2000: Proc./17th Annual Symp. on Theoretical Aspects of Computer Science. Lille, France, February 2000 | 2000 | Lecture Notes in Computer Science |
|
01.03.2000 | |||
| СБ | STACS 99: Proc./16th Annual Symp. on Theoretical Aspects of Computer Science. Trier, Germany, March 1999 | 1999 | Lecture Notes in Computer Science |
|
18.03.1999 | |||
| СБ | Trees in Algebra and Programming - CAAP 94: Proc./19th Intern. Colloquium. Edinburgh, U.K., April 1994 | 1994 | Lecture Notes in Computer Science |
|
26.04.1994 |