Searching for authors named "Florent Jacquemard" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

17 documents found, showing 1 through 10. Next 10 →

Reachability and Confluence Are Undecidable for Flat Term Rewriting Systems
by Florent Jacquemard, Florent Jacquemard — 2003
…Florent Jacquemard Reachability and confluence are undecidable for flat term rewriting systems…
Cited by 7 (1 self) – Add To MetaCart

Rigid Reachability The Non-Symmetric Form Of Rigid E-Unification
by Harald Ganzinger, Florent Jacquemard — 2000
…ur Informatik Im Stadtwald, 66123 Saarbrucken, Germany and FLORENT JACQUEMARD LORIA and INRIA 615 rue du…
Add To MetaCart

A Theory of Dictionary Attacks and its Complexity
by Stephanie Delaune, Florent Jacquemard — 2004
… 94235 Cachan Cedex, France stephanie.delaune@(email omitted); Florent Jacquemard INRIA, Research Unit…
Cited by 9 (1 self) – Add To MetaCart

Ground Reducibility and Automata with Disequality Constraints
by Hubert Comon, Florent Jacquemard — 1994 — Proc. 11th Symp. on Theoretical Aspects of Computer Science, Lecture Notes in Computer Science
…Ground Reducibility and Automata with Disequality Constraints Hubert Comon and Florent Jacquemard…
Cited by 7 (3 self) – Add To MetaCart

Ground reducibility is EXPTIME-complete
by Hubert Comon, Florent Jacquemard — 1997 — Information and Computation
…Ground Reducibility is EXPTIME-complete Hubert Comon 1 and Florent Jacquemard 2 1 CNRS and LSV…
Cited by 9 (4 self) – Add To MetaCart

Constrained Tree Grammars to Pilot . . .
by Adel Bouhoula, Florent Jacquemard — 2004
… Communications 2083 Cite El Ghazala, TUNISIE bouhoula@(email omitted); Florent Jacquemard INRIA Futurs and LSV / CNRS…
Add To MetaCart

Compiling and Verifying Security Protocols
by Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron — 2000
…Compiling and Verifying Security Protocols Florent Jacquemard 1 , Michael Rusinowitch 1…
Cited by 43 (4 self) – Add To MetaCart

Three variations on the analysis of the Needham-Schroeder Public-Key Protocol with MGS
by Olivier Michel, Olivier Michel, Jean-Louis Giavitto, Jean-louis Giavitto, Florent Jacquemard, Florent Jacquemard — 2004 — MGS, 25 pages, Technical report, n o LaMI-98-2004, LaMI – UniversitÃ© d’Evry - CNRS
…-Schroeder Public-Key Protocol with MGS Olivier Michel & Florent Jacquemard & Jean-Louis Giavitto email(s) : michel…
Cited by 1 (0 self) – Add To MetaCart

The Confluence Problem for Flat TRSs
by Ichiro Mitsuhashi, Michio Oyamaguch, Florent Jacquemard — 2006 — in "Proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation (AISC’06
… florent.jacquemard@(email omitted); Abstract. We prove that the properties of reachability, joinability…
Cited by 2 (0 self) – Add To MetaCart

Unification in Extensions of Shallow Equational Theories
by Florent Jacquemard, Christoph Meyer, Christoph Weidenbach — 1998 — Rewriting Techniques and Applications, 9th International Conference, RTA-98, Vol. 1379, LNCS
…Unification in Extensions of Shallow Equational Theories Florent Jacquemard ? , Christoph Meyer…
Cited by 8 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB