MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Jordi Levy" – sorted by Relevance.

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

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

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

ATOM

A Higher-Order Unification Algorithm for Bi-rewriting Systems
by Jordi Levy — 1993
…A Higher-Order Unification Algorithm for Bi-rewriting Systems Jordi Levy Institut d…
Add To MetaCart

Decidable and Undecidable Second-Order Unification Problems
by Jordi Levy — 1998 — In Proceedings of the 9th Int. Conf. on Rewriting Techniques and Applications (RTA’98), volume 1379 of LNCS
…Decidable and Undecidable Second-Order Unification Problems Jordi Levy Institut d…
Cited by 13 (7 self) – Add To MetaCart

Proving Confluence Without Termination
by Jordi Levy, Jaume Agusti — 1992
…Proving confluence without termination Jordi Levy and Jaume Agust'i Institut d'Investigaci'o en…
Add To MetaCart

Context Unification and Traversal Equations
by Jordi Levy, Mateu Villaret — 2001
…Context Unification and Traversal Equations Jordi Levy 1 and Mateu Villaret 2 1 IIIA, CSIC…
Cited by 4 (4 self) – Add To MetaCart

Implementing Inequality and Nondeterministic Specifications with Bi-rewriting Systems
by Jordi Levy, Jaume Agusti — 1992 — In (H. Ehrig and F. Orejas, Ed.) Recent Trends in Data Type Specification, Lecture Notes in Computer Science
…Implementing Inequality and Nondeterministic Specifications with Bi-rewriting Systems ? Jordi Levy…
Cited by 1 (0 self) – Add To MetaCart

Linear Second-Order Unification and Context Unification with Tree-Regular Constraints
by Jordi Levy, Mateu Villaret — 2000 — Proc. of the 11th Int. Conference on Rewriting Techniques and Applications (RTA’2000), volume 1833 of LNCS
…Linear Second-Order Unification and Context Unification with Tree-Regular Constraints ? Jordi Levy…
Cited by 10 (2 self) – Add To MetaCart

Currying Second-Order Unification Problems
by Jordi Levy, Mateu Villaret
…Currying Second-Order Unication Problems ? Jordi Levy 1 and Mateu Villaret 2 1 IIIA, CSIC…
Cited by 2 (2 self) – Add To MetaCart

On Unification Problems in Restricted Second-Order Languages
by Jordi Levy, Margus Veanes — 1998 — In Annual Conf. of the European Ass. of Computer Science Logic (CSL98
…On Unification Problems in Restricted Second-Order Languages Jordi Levy Institut d…
Cited by 5 (2 self) – Add To MetaCart

On the Undecidability of Second-Order Unification
by Jordi Levy, Margus Veanes — 2000 — INFORMATION AND COMPUTATION
… at http: www.idealibrary.com on On the Undecidability of Second-Order Unification 1 Jordi Levy Institut d…
Cited by 23 (11 self) – Add To MetaCart

Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations
by Jordi Levy, Jaume Agusti — 1993 — Rewriting Techniques and Applications, LNCS 690
…Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations ? Jordi Levy and Jaume…
Cited by 22 (6 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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