Jordi Levy (32 publications)
2001
"Context unification and Traversal Equations",
Lecture Notes in Computer Science, vol. 2051: Springer-Verlag, pp. 169-184, 2001.
Abstract
2000
"Linear Second-Order Unification and Context Unification with Tree-Regular Constraints",
Lecture Notes in Computer Science, vol. 1833: Springer-Verlag, pp. 156-171, 2000.
Abstract
1998
"Decidable and Undecidable Second-Order Unification Problems",
Lecture Notes in Computer Science, vol. 1379: Springer-Verlag, pp. 47-60, 1998.
Abstract
"On Unification Problems in Restricted Second-Order Languages",
Annual Conference of the European Association for Computer Science Logic, CSL'98, 1998.
Abstract
1996
"Linear Second Order Unification",
Lecture Notes in Computer Science, vol. 1103: Springer-Verlag, pp. 332-346, 1996.
Abstract
1994
The Calculus of Refinements, a Formal Specification Model Based on Inclusions,
: Universitat Politecnica de Catalunya, 1994.
Abstract
1992
"Implementing Inequality and Nondeterministic Specifications with Bi-rewriting Systems",
Lecture Notes in Computer Science, vol. 785: Springer-Verlag, pp. 252-267, 1992.
Abstract