Sergei Vorobyov  Home/Search
Context
Related
| csd.uu.se/~vorobyov/MFCS98.ps 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: csd.uu.se/~voro...lications.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Context unification is a particular case of second-order unification, where all second-order variables are unary and only linear functions are sought for as solutions. Its decidability is an open problem. We present the simplest (currently known) undecidable quantified fragment of the theory of context unification by showing that for every signature containing a 2-ary symbol one can construct a context equation E (p; r; F ; w) with parameter p, first-order variables r, w, and context... (Update)
Similar documents (at the sentence level):
40.1%: Equational Theory of Context Unification is Hard - Vorobyov (1998) (Correct)
Active bibliography (related documents): More All
0.4: Context Unification = Word Equations + Linear Integer Constraints - Vorobyov (1998) (Correct)
0.2: A Decision Algorithm for Stratified Context Unification - Schmidt-Schauß (1999) (Correct)
0.2: On Unification Problems in Restricted Second-Order Languages - Levy, Veanes (1998) (Correct)
Similar documents based on text: More All
0.2: A1-Unification - Tiu (2001) (Correct)
0.2: The Undecidability of the First-Order Theories of One Step.. - Vorobyov (2002) (Correct)
0.1: Structural Decidable Extensions of Bounded Quantification - Vorobyov (1994) (Correct)
BibTeX entry: (Update)
@misc{ vorobyov-equational,
author = "Sergei Vorobyov",
title = "Equational Theory of Context Unification is Hard",
url = "citeseer.ist.psu.edu/vorobyov98equational.html" }
Citations (may not include all citations):105 The problem of solvability of equations in a free semigroup (context) - Makanin - 1977
97 The undecidability of the second-order unification problem (context) - Goldfarb - 1981
23 On equality up-to constraints over finite trees (context) - Niehren, Pinkal et al. - 1997
20 Concatenation as a basis for arithmetic (context) - Quine - 1946
19 Unification of stratified second-order terms (context) - Schmidt-Schau - 1994
19 Simple second-order languages for which unification is undec.. (context) - Farmer - 1991
19 the exponent of periodicity of minimal solutions of context .. (context) - Schmidt-Schau, Schulz - 1998
17 A unification algorithm for second-order monadic terms (context) - Farmer - 1988
7 Coding in the existential theory of concatenation (context) - Buchi, Senger - 1986
6 Studying algorithmic problems for free semi-groups and group.. (context) - Durnev - 1997
2 Positive theory of a free semigroup (context) - Durnev - 1973
1 Undecidability of the positive 89-theory of a free semigroup (context) - Marchenkov - 1982
Documents on the same site (http://www.csd.uu.se/~vorobyov/publications.shtml): More
On the Bounded Theories of Finite Trees - Vorobyov (1996) (Correct)
Subtyping Functional+Nonempty Record Types - Vorobyov (1999) (Correct)
Context Unification = Word Equations + Linear Integer Constraints - Vorobyov (1998) (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