.:. Lists > By ENS Cachan laboratory and associate team > SECSI .:.

5 documents ordered by : Date Title first author name document type Submit date

Closure of Hedge-Automata Languages by Hedge Rewriting Jacquemard F., Rusinowitch M. 19th International Conference on Rewriting Techniques and Applications - RTA 2008, Austria (2008) [inria-00329803 - version 1]

Tree automata with equality constraints modulo equational theories Jacquemard F., Rusinowitch M., Vigneron L. Journal of Logic and Algebraic Programming 75, 2 (2008) 182-208 [inria-00329693 - version 1]

Automatic Verification of Sufficient Completeness for Conditional Constrained Term Rewriting Systems Bouhoula A., Jacquemard F. Rapport de recherche (2006) 17 [inria-00070163 - version 1]

Tree Automata with Equality Constraints Modulo Equational Theories Jacquemard F., Rusinowitch M., Vigneron L. Research report (2005) 27 [inria-00071215 - version 1]

From PNML to counter systems for accelerating Petri Nets with FAST Bardin S., Petrucci L. Workshop on Interchange Formats for Petri Nets, Italy (2004) [hal-00003391 - version 1]