메뉴 건너뛰기




Volumn 3091, Issue , 2004, Pages 55-69

Monadic second-order unification Is NP-complete

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

EID: 33749423952     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25979-4_4     Document Type: Article
Times cited : (12)

References (18)
  • 1
    • 38249027922 scopus 로고
    • A unification algorithm for second-order monadic terms
    • [Far88]
    • [Far88] W. M. Farmer. A unification algorithm for second-order monadic terms. Annals of Pure and Applied Logic, 39:131-174, 1988.
    • (1988) Annals of Pure and Applied Logic , vol.39 , pp. 131-174
    • Farmer, W.M.1
  • 2
    • 0026219155 scopus 로고
    • Simple second-order languages for wich unification is undecidable
    • [Far91]
    • [Far91] W. M. Farmer. Simple second-order languages for wich unification is undecidable. Theoretical Computer Science, 87:173-214, 1991.
    • (1991) Theoretical Computer Science , vol.87 , pp. 173-214
    • Farmer, W.M.1
  • 4
    • 0000218554 scopus 로고
    • The undecidability of the second-order unification problem
    • [Gol81]
    • [Gol81] W. D. Goldfarb. The undecidability of the second-order unification problem. Theoretical Computer Science, 13:225-230, 1981.
    • (1981) Theoretical Computer Science , vol.13 , pp. 225-230
    • Goldfarb, W.D.1
  • 5
    • 49549145605 scopus 로고
    • A unification algorithm for typed λ-calculus
    • [Hue75]
    • [Hue75] G. Huet. A unification algorithm for typed λ-calculus. Theoretical Computer Science, 1:27-57, 1975.
    • (1975) Theoretical Computer Science , vol.1 , pp. 27-57
    • Huet, G.1
  • 6
    • 0030197339 scopus 로고    scopus 로고
    • Complexity of Makanin's algorithm
    • [KP96]
    • [KP96] A. Kościelski and L. Pacholski. Complexity of Makanin's algorithm. Journal of the ACM, 43(4):670-684, 1996.
    • (1996) Journal of the ACM , vol.43 , Issue.4 , pp. 670-684
    • Kościelski, A.1    Pacholski, L.2
  • 8
    • 0034713205 scopus 로고    scopus 로고
    • On the undecidability of second-order unification
    • [LV00]
    • [LV00] J. Levy and M. Veanes. On the undecidability of second-order unification. Information and Computation, 159:125-150, 2000.
    • (2000) Information and Computation , vol.159 , pp. 125-150
    • Levy, J.1    Veanes, M.2
  • 10
    • 18944397777 scopus 로고
    • The problem of solvability of equations in a free semigroup
    • [Mak77]
    • [Mak77] G. S. Makanin. The problem of solvability of equations in a free semigroup. Math. USSR Sbornik, 32(2):129-198, 1977.
    • (1977) Math. USSR Sbornik , vol.32 , Issue.2 , pp. 129-198
    • Makanin, G.S.1
  • 15
    • 0742286326 scopus 로고    scopus 로고
    • Decidability of bounded second order unification
    • [SS04]
    • [SS04] M. Schmidt-Schauß. Decidability of bounded second order unification. Information and Computation, 188(2):143-178, 2004.
    • (2004) Information and Computation , vol.188 , Issue.2 , pp. 143-178
    • Schmidt-Schauß, M.1
  • 17
    • 0013261286 scopus 로고
    • Decidability of the unification problem for second order languages with unary function symbols
    • [Zhe79]
    • [Zhe79] A. P. Zhezherun. Decidability of the unification problem for second order languages with unary function symbols. Kibernetika (Kiev), 5:120-125, 1979.
    • (1979) Kibernetika (Kiev) , vol.5 , pp. 120-125
    • Zhezherun, A.P.1
  • 18
    • 22244483305 scopus 로고
    • Translated as Cybernetics 15(5):735-741, 1980.
    • (1980) Cybernetics , vol.15 , Issue.5 , pp. 735-741


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