Searching for authors named "Jordi Levy" – sorted by Relevance.
-
A Higher-Order Unification Algorithm for Bi-rewriting Systems
- A Higher-Order Unification Algorithm for Bi-rewriting Systems Jordi Levy Institut d
- Add To MetaCart
-
Decidable and Undecidable Second-Order Unification Problems
- Decidable and Undecidable Second-Order Unification Problems Jordi Levy Institut d
- Cited by 13 (7 self) – Add To MetaCart
-
Proving Confluence Without Termination
- Proving confluence without termination Jordi Levy and Jaume Agust'i Institut d'Investigaci'o en
- Add To MetaCart
-
Context Unification and Traversal Equations
- 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
- 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
- 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
- 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
- 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
- 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
- Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations ? Jordi Levy and Jaume
- Cited by 22 (6 self) – Add To MetaCart

