∀∃*-Equational theory of context unification is π10-Hard

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1450 LNCS, Issue , 1998, Pages 597-606

  Vorobyov, Sergei ^a  

^a MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

BINARY ALPHABETS; CONTEXT EQUATIONS; CONTEXT UNIFICATIONS; CONTEXT VARIABLES; EQUATIONAL THEORY; LINEAR FUNCTIONS; SECOND ORDERS; THEORY OF CONTEXTS;

ARTIFICIAL INTELLIGENCE;

EID: 84896693618     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0055810     Document Type: Conference Paper

References (12)

1. J. R. Büchi and S. Senger. Coding in the existential theory of concatenation. Archive of Mathematical Logic, 26:101-106, 1986.
2. V. Durnev. Studying algorithmic problems for free semi-groups and groups. In Logical; Foundations of Computer Science (LFCS'97), Volume 1234 of Lect. Notes Comput. Sci., pages 88-101. Springer-Verlag, 1997.
3. V. G. Durnev. Positive theory of a free semigroup. Soviet Math. Doklady, 211(4):772-774, 1973.
4. W. Farmer. A unification algorithm for second-order monadic terms. Annals Pure Appl. Logic, 39:131-174, 1988.
5. W. Farmer. Simple second-order languages for which unification is undecidable. Theor. Comput. Sci., 87:25-41, 1991.
6. W. D. Goldfarb. The undecidability of the second-order unification problem. Theor. Comput. Sci., 13:225-230, 1981.
7. G. S. Makanin. The problem of solvability of equations in a free semigroup. Math USSR Sbornik, 32(2):127-198, 1977.
8. S. S. Marchenkov. Undecidability of the positive V3-theory of a free semigroup. Siberian Math. Journal, 23(1):196-198, 1982.
9. J. Niehren, M. Pinkal, and P. Ruhrberg. On equality up-to constraints over finite trees, context unification, and one-step rewriting. In W. McCune, editor, CADE-14, Volume 1249 of Lect. Notes Comput. Sci., pages 34-48. Springer-Verlag, 1997.
10. W. V. Quine. Concatenation as a basis for arithmetic. J. Symb. Logic, 11(4):105-114, 1946.
11. M. Schmidt-Schauß. Unification of stratified second-order terms. Interner Bericht 12/94, University of Frankfurt am Main, 1994.
12. M. Schmidt-Schauß and K. U. Schulz. On the exponent of periodicity of minimal solutions of context equations. In Rewriting Techniques and Applications '98, Volume 1379 of Lect. Notes Comput. Sci., pages 61-75. Springer-Verlag, 1998.