Sophie Tison
Sophie Tison
University of Lille
Geverifieerd e-mailadres voor univ-lille.fr
Titel
Geciteerd door
Geciteerd door
Jaar
Tree automata techniques and applications
H Comon
http://www. grappa. univ-lille3. fr/tata, 1997
15251997
Tree automata techniques and applications (2007)
H Comon, M Dauchet, R Gilleron, F Jacquemard, D Lugiez, S Tison, ...
3792007
The theory of ground rewrite systems is decidable
M Dauchet, S Tison
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990
2191990
Equality and disequality constraints on direct subterms in tree automata
B Bogaert, S Tison
Annual Symposium on Theoretical Aspects of Computer Science, 159-171, 1992
1601992
Regular tree languages and rewrite systems
R Gilleron, S Tison
Fundamenta informaticae 24 (1, 2), 157-175, 1995
1171995
Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems
M Dauchet, T Heuillard, P Lescanne, S Tison
Information and Computation 88 (2), 187-201, 1990
1161990
Solving systems of set constraints with negated subset relationships
R Gilleron, S Tison, M Tommasi
Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science, 372-380, 1993
751993
Decidability of confluence for ground term rewriting systems
M Dauchet, S Tison
International Conference on Fundamentals of Computation Theory, 80-89, 1985
731985
Solving systems of set constraints using tree automata
R Gilleron, S Tison, M Tommasi
Annual Symposium on Theoretical Aspects of Computer Science, 505-514, 1993
671993
N-ary queries by tree automata
J Niehren, L Planque, JM Talbot, S Tison
International Workshop on Database Programming Languages, 217-231, 2005
432005
Solving classes of set constraints with tree automata
P Devienne, JM Talbot, S Tison
International Conference on Principles and Practice of Constraint …, 1997
421997
Tree automata with global constraints
E Filiot, JM Talbot, S Tison
International Conference on Developments in Language Theory, 314-326, 2008
392008
Set constraints and automata
R Gilleron, S Tison, M Tommasi
Information and Computation 149 (1), 1-41, 1999
381999
Earliest query answering for deterministic nested word automata
O Gauwin, J Niehren, S Tison
International Symposium on Fundamentals of Computation Theory, 121-132, 2009
252009
Satisfiability of a spatial logic with tree variables
E Filiot, JM Talbot, S Tison
International Workshop on Computer Science Logic, 130-145, 2007
242007
Set-based analysis for logic programming and tree automata
JM Talbot, S Tison, P Devienne
International Static Analysis Symposium, 127-140, 1997
231997
Queries on XML streams with bounded delay and concurrency
O Gauwin, J Niehren, S Tison
Information and Computation 209 (3), 409-442, 2011
222011
Some new decidability results on positive and negative set constraints
R Gilleron, S Tison, M Tommasi
International Conference on Constraints in Computational Logics, 336-351, 1994
221994
Expressiveness of spatial logic for trees
I Boneva, JM Talbot, S Tison
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 280-289, 2005
212005
BHDL: Circuit design in B
A Aljer, P Devienne, S Tison, JL Boulanger, G Mariano
Third International Conference on Application of Concurrency to System …, 2003
212003
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20