MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Sophie Tison – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 17 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • On Rewrite Constraints and Context Unification  
  • by Uni Cation, Joachim Niehren, Sophie Tison, Ralf Treinen — 1999
  • … Saarlandes, Postfach 15 11 50, D-66041 Saarbrucken, Germany Sophie Tison 1 LIFL, Unicersite Lille 1, F…
  • Add To MetaCart
  • N-ary queries by tree automata  
  • by Joachim Niehren, Laurent Planque, Jean-marc Talbot, Sophie Tison — 2005 — In Proc. of DBPL’05
  • …N-ary Queries by Tree Automata Joachim Niehren Laurent Planque Jean-Marc Talbot Sophie Tison INRIA…
  • Cited by 14 (2 self) – Add To MetaCart
  • Monotone AC-Tree Automata  
  • by Hitoshi Ohsaki, Jean-marc Talbot, Sophie Tison, Yves Roos — 2005 — in "12th International Conference on Logic for Programming Artificial Intelligence and Reasoning", LNCS, SV
  • …Monotone AC-Tree Automata Hitoshi Ohsaki 1 , Jean-Marc Talbot 2 , Sophie Tison 2 and Yves Roos 2 1…
  • Cited by 3 (1 self) – Add To MetaCart
  • Grid Structures and Undecidable Constraint Theories  
  • by Franck Seynhaeve, Sophie Tison, Marc Tommasi, Ralf Treinen — 1999 — In Proceedings of 6th Colloquium on Trees in Algebra and Programming, volume 1214 of LNCS
  • …Grid Structures and Undecidable Constraint Theories Franck Seynhaeve Sophie Tison Marc Tommasi…
  • Cited by 10 (4 self) – Add To MetaCart
  • Homomorphisms and Concurrent Term Rewriting  
  • by Franck Seynhaeve, Sophie Tison, Marc Tommasi — 1999 — Proceedings of the twelfth International Conference on Fundamentals of Computation theory, number 1684 in Lecture Notes in Computer Science
  • …Homomorphisms and Concurrent Term Rewriting Franck Seynhaeve, Sophie Tison, and Marc Tommasi LIFL…
  • Cited by 1 (0 self) – Add To MetaCart
  • Models of path constraints  
  • by Denis Debarbieux, Yves Roos, Sophie Tison — 2004 — In Proceedings of the 10th Mons Theoretical Computer Science Days
  • …Models of Path Constraints ⋆ Denis Debarbieux, Yves Roos, and Sophie Tison {debarbie, yroos, tison…
  • Cited by 1 (1 self) – Add To MetaCart
  • Set Constraints and Automata  
  • by Rémi Gilleron, Sophie Tison, Marc Tommasi — 1996 — Information and computation
  • …Set Constraints and Automata R'emi Gilleron, Sophie Tison, Marc Tommasi LIFL, URA 369 CNRS, IEEA…
  • Cited by 6 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB