AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Sophie Tison

Sophie Tison

Université de Lille - Lille / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 925900
University of Lille
person_outline Sophie Tison's MOST POPULAR ARTICLES
1-) Tree automata techniques and applications
2-) The theory of ground rewrite systems is decidable [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990
3-) Equality and disequality constraints on direct subterms in tree automata Annual Symposium on Theoretical Aspects of Computer Science, 159-171, 1992
4-) Regular tree languages and rewrite systems Fundamenta informaticae 24 (1-2), 157-175, 1995
5-) Regular tree languages and rewrite systemsR Gilleron, S TisonFundamenta informaticae 24 (1-2), 157-175, 19951291995