SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Journal of Symbolic Computation

Volumn 33, Issue 1, 2002, Pages 77-122

Solvability of context equations with two context variables is decidable

(2) Schmidt Schauß, Manfred a Schulz, Klaus U b

a GOETHE UNIVERSITY (Germany)

b UNIVERSITY OF MUNICH (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0036153167 PISSN: 07477171 EISSN: None Source Type: Journal
DOI: 10.1006/jsco.2001.0438 Document Type: Article

Times cited : (23)

References (29)

1
- 0008013190
- Solving word equations
- (1989) J. Symbolic Computation , vol.8 , pp. 499-521
- Abdulrab, H.¹ Pecuchet, J.-P.²

2
- 0030078047
- Unification in the union of disjoint equational theories: Combining decision procedures
- (1996) J. Symbolic Computation , vol.21 , pp. 211-243
- Baader, F.¹ Schulz, K.U.²

3
- 0032041679
- Completion of rewrite systems with membership constraints. Deduction rules
- (1998) J. Symbolic Computation , vol.25 , Issue.PART I , pp. 397-419
- Comon, H.¹

4
- 0032041680
- Completion of rewrite systems with membership constraints Constraint solving
- (1998) J. Symbolic Computation , vol.25 , Issue.PART II , pp. 421-453
- Comon, H.¹

5
- 4344714195
- Makanin's algorithm
- Lothaire, M. ed., preliminary version, Fakultät für Informatik, University of Stuttgart
- (1998) Algebraic Combinatorics on Words
- Diekert, V.¹

6
- 0026219155
- Simple second-order languages for which unification is undecidable
- (1991) Theor. Comput. Sci , vol.87 , pp. 173-214
- Farmer, W.¹

7
- 0000218554
- The undecidability of the second-order unification problem
- (1981) Theor. Comput. Sci , vol.13 , pp. 225-230
- Goldfarb, W.¹

8
- 0008058743
- Monadic simultaneous rigid E-unification and related problems
- UPMAIL Technical Report 137, Uppsala University, Computing Science Department, Sweden
- (1997)
- Gurevich, Y.¹ Voronkov, A.²

9
- 0003356743
- Equations in free semigroups
- (English translation in 1976). Proceedings of the Steklov Institute of Mathematics, volume 107, American Mathematical Society
- (1971) Trudy Mat. Inst. Steklov , vol.107
- Hmelevskii, J.I.¹

10
- 0025207616
- Minimal and complete word unification
- (1990) J. ACM , vol.37 , pp. 47-85
- Jaffar, J.¹

11
- 0030197339
- Complexity of Makanin's algorithms
- (1996) J. Assoc. Comput. Mach , vol.43 , pp. 670-684
- Kościelski, A.¹ Pacholski, L.²

12
- 84957670463
- Linear second-order unification
- LNCS 1103, Springer
- (1996) Proceedings of the 7th International Conference on Rewriting Techniques and Applications , pp. 332-346
- Levy, J.¹

13
- 0034713205
- On the undecidability of second-order unification
- (2000) Inf. Comput , vol.159 , pp. 125-150
- Levy, J.¹ Veanes, M.²

14
- 18944397777
- The problem of solvability of equations in a free semigroup
- (1977) Math. USSR Sbornik , vol.32 , pp. 129-198
- Makanin, G.¹

15
- 84947781530
- Undecidability of the first order theory of one-step right ground rewriting
- Comon, H. ed., LNCS 1232, Springer
- (1997) International Conference on Rewriting Techniques and Applications , pp. 241-253
- Marcinkowski, J.¹

16
- 0008012121
- A connection between systems of word equations and length equations and Hilbert's tenth problem
- (English translation in 1970). In Seminars in Mathematics, volume 8, V. A. Steklov Mathematical Institute
- (1968) Sem. MAt. V. A. Steklov Math. Inst. Leningrad , vol.8 , pp. 132-144
- Matiyasevich, Y.¹

17
- 84957104513
- On equality up-to constraints over finite trees, context unification, and one-step rewriting
- LNCS 1249, Springer
- (1997) Proceedings of the International Conference on Automated Deduction , pp. 34-48
- Niehren, J.¹ Pinkal, M.² Ruhrberg, P.³

18
- 0008013031
- A uniform approach to underspecification and parallelism
- Technical Report
- (1997)
- Niehren, J.¹ Pinkal, M.² Ruhrberg, P.³

19
- 85031472649
- On stratified context unification and rewriting constraints
- Talk at CCL'98 Workshop
- (1998)
- Niehren, J.¹ Tison, S.² Treinen, R.³

20
- 0000777147
- An algorithm for distributive unification
- (1998) Theor. Comput. Sci , vol.208 , pp. 111-148
- Schmidt-Schauß, M.¹

21
- 4244126818
- Decidability of bounded second-order unification
- Draft, Fachbereich Informatik, J.W. Goethe-Universität Frankfurt, Germany
- (1998)
- Schmidt-Schauß, M.¹

22
- 4244200007
- A decision algorithm for stratified context unification
- Technical Report Frank-report-12, FB Informatik, J.W. Goethe-Universität Frankfurt am Main, submitted for publication
- (1999)
- Schmidt-Schauß, M.¹

23
- 84958752368
- On the exponent of periodicity of minimal solutions of context equations
- Proc. RTA'98, LNCS Springer-Verlag
- (1998) Rewriting Techniques and Applications , vol.1379 , pp. 61-75
- Schmidt-Schauß, M.¹ Schulz, K.U.²

24
- 33745159819
- Solvability of context equations with two context variables is decidable
- LNCS 1632
- (1999) Proceedings of the 16th International Conference on Automated Deduction , pp. 67-81
- Schmidt-Schauß, M.¹ Schulz, K.U.²

25
- 0002288944
- Makanin's algorithm-two improvements and a generalization
- Proceedings of IWWERT 1990, LNCS Springer
- (1990) , vol.572 , pp. 85-150
- Schulz, K.U.¹

26
- 0001602296
- Word unification and transformation of generalized equations
- (1993) J. Autom. Reasoning , pp. 149-184
- Schulz, K.U.¹

27
- 84957699268
- The first-order theory of one-step rewriting is undecidable
- Ganzinger, H. ed., LNCS 1103, NJ, USA, Springer, Rutgers University
- (1996) 7th International Conference on Rewriting Techniques and Applications , pp. 276-286
- Treinen, R.¹

28
- 84947725457
- The first-order theory of one step rewriting in linear noetherian systems is undecidable
- Comon, H. ed., LNCS 1232 Springer
- (1997) International Conference on Rewriting Techniques and Applications , pp. 254-268
- Vorobyov, S.¹

29
- 84896693618
- 0-hard
- MFCS 1998, LNCS 1450 Springer-Verlag
- (1998) , pp. 597-606
- Vorobyov, S.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.