Jordi Levy, Mateu Villaret  Home/Search
Context Related
| iiia.csic.es/~levy/RTA01.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: iiia.csic.es/~levy/biblevy (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Context unification was originally defined by H. Comon in ICALP'92, as the problem of finding a unifier for a set of equations containing first-order variables and context variables. These context variables have arguments, and can be instantiated by contexts. In other words, theyare second-order variables that are restricted to be instantiated by linear terms (a linear term is a -expression \lambda x_1 ... \lambda x_n . t where every x i occur exactly once in t). In this paper, we prove that,... (Update)
Context of citations to this paper: More
...tree regular constraints are prominent open questions that are closely related. Decidability of CU was often conjectured (see e.g. [14]) This is because various restrictions [4, 10, 19 21] make CU decidable, while the analogous restrictions for second order unification...
Cited by: More
Describing Lambda Terms in Context Unification - Niehren, Villaret (Correct)
Active bibliography (related documents): More All
1.5: Linear Second-Order Unification and Context Unification with.. - Levy, Villaret (2000) (Correct)
1.1: An Optimized Decision Algorithm for Stratified Context.. - Schmidt-Schauß (2000) (Correct)
0.8: A Decision Algorithm for Stratified Context Unification - Schmidt-Schauß (1999) (Correct)
Similar documents based on text: More All
1.5: Currying Second-Order Unification Problems - Levy, Villaret (Correct)
0.9: Monadic Second-Order Unification is NP-Complete - Levy, Schmidt-Schauß, Villaret (Correct)
0.8: Parallelism Constraints - Erk, Niehren (2000) (Correct)
BibTeX entry: (Update)
Jordi Levy and Mateu Villaret. Context unification and traversal equations. In RTA'01, volume 2051 of LNCS, pages 167--184, 2001. http://citeseer.ist.psu.edu/levy01context.html More
@inproceedings{ levy01context,
author = "Jordi Levy and Mateu Villaret",
title = "Context Unification and Traversal Equations",
booktitle = "12th Int. Conf. on Rewriting Techniques and Applications,
RTA'01",
address = "Utrecht, The Netherlands",
year = 2001,
series = "Lecture Notes in Computer Science",
volume = 2051,
pages = "169--184",
editor = "Aart Middeldorp",
url = "citeseer.ist.psu.edu/levy01context.html" }
Citations (may not include all citations):105 The problem of solvability of equations in a free semigroup (context) - Makanin - 1977
75 Completion of rewrite systems with membership constraints - Comon - 1992
75 Completion of rewrite systems with membership constraints - Comon - 1998
36 Constraints over lambdastructures in semantic underspecifica.. - Egg, Niehren et al. - 1998
23 On equality up-to constraints over finite trees (context) - Niehren, Pinkal et al. - 1997
21 Bi-rewrite systems - Levy, Agust'i - 1996
19 the exponent of periodicity of minimal solutions of context .. (context) - Schmidt-Schau, Schulz - 1998
19 Designing unification procedures using transformations: A su.. (context) - Gallier, Snyder - 1990
19 Linear second-order unification - Levy - 1996
18 A uniform approach to underspecification and parallelism - Niehren, Pinkal et al. - 1997
12 Solvability of context equations with two context variables .. - Schmidt-Schau, Schulz - 1999
10 An algorithm for distributive unification (context) - Schmidt-Schau - 1996
9 Decidable and undecidable second-order unification problems - Levy - 1998
9 A complete mechanization of second-order logic (context) - Pietrzykowski - 1973
8 Linear second-order unification and context unification with.. - Levy, Villaret - 2000
7 the undecidability of second-order unification - Levy, Veanes - 2000
6 On unification problems in restricted second-order languages - Levy, Veanes - 1998
5 Decidability of bounded second-order unification (context) - Schmidt-Schau - 1999
5 Solving trace equations using lexicographical normal forms - Diekert, Matiyasevich et al. - 1997
5 Centrum fur Informations und Sprachverarbeitung (context) - Schulz, two et al. - 1991
4 Information Processing Letters (context) - Niehren, Tison et al. - 2000
4 A decision algorithm for distributive unification (context) - Schmidt-Schau - 1998
3 A decision algorithm for stratified context unification (context) - Schmidt-Schau - 1999
Documents on the same site (http://www.iiia.csic.es/~levy/biblevy.html): More
On the Undecidability of Second-Order Unification - Levy, Veanes (2000) (Correct)
Bi-rewriting, a Term Rewriting Technique for Monotonic Order.. - Levy, Agusti (1993) (Correct)
Proving Confluence Without Termination - Levy, Agusti (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC