메뉴 건너뛰기




Volumn 19, Issue 6, 2011, Pages 763-789

On the complexity of bounded second-order unification and stratified context unification

Author keywords

Bounded Second Order Unification; Context Unification; Lambda Calculus; Tree Grammars

Indexed keywords


EID: 80054027164     PISSN: 13670751     EISSN: 13689894     Source Type: Journal    
DOI: 10.1093/jigpal/jzq010     Document Type: Article
Times cited : (12)

References (36)
  • 4
    • 0012575636 scopus 로고    scopus 로고
    • Higher-order unification and matching
    • Robinson, A., Voronkov, A. (Eds.), Elsevier Science, Ch. 16
    • Dowek, G., 2001. Higher-order unification and matching. In: Robinson, A., Voronkov, A. (Eds.), Handbook of Automated Reasoning. Vol. II. Elsevier Science, Ch. 16, pp. 1009-1062.
    • (2001) Handbook of Automated Reasoning , vol.2 , pp. 1009-1062
    • Dowek, G.1
  • 7
    • 38249027922 scopus 로고
    • A unification algorithm for second-order monadic terms
    • Farmer, W. M., 1988. A unification algorithm for second-order monadic terms. Annals of Pure and Applied Logic 39, 131-174.
    • (1988) Annals of Pure and Applied Logic , vol.39 , pp. 131-174
    • Farmer, W.M.1
  • 8
    • 0026219155 scopus 로고
    • Simple second-order languages for which unification is undecidable
    • Farmer, W. M., 1991. Simple second-order languages for which unification is undecidable. Theoretical Computer Science 87, 173-214.
    • (1991) Theoretical Computer Science , vol.87 , pp. 173-214
    • Farmer, W.M.1
  • 11
    • 0000218554 scopus 로고
    • The undecidability of the second-order unification problem
    • Goldfarb, W. D., 1981. The undecidability of the second-order unification problem. Theoretical Computer Science 13, 225-230.
    • (1981) Theoretical Computer Science , vol.13 , pp. 225-230
    • Goldfarb, W.D.1
  • 12
    • 0030197339 scopus 로고    scopus 로고
    • Complexity of Makanin's algorithm
    • Kościelski, A., Pacholski, L., 1996. Complexity of Makanin's algorithm. Journal of the ACM 43 (4), 670-684.
    • (1996) Journal of the ACM , vol.43 , Issue.4 , pp. 670-684
    • Kościelski, A.1    Pacholski, L.2
  • 20
    • 0034713205 scopus 로고    scopus 로고
    • On the undecidability of second-order unification
    • Levy, J., Veanes, M., 2000. On the undecidability of second-order unification. Information and Computation 159, 125-150.
    • (2000) Information and Computation , vol.159 , pp. 125-150
    • Levy, J.1    Veanes, M.2
  • 24
    • 33749260063 scopus 로고    scopus 로고
    • Word problems and membership problems on compressed words
    • Lohrey, M., 2006. Word problems and membership problems on compressed words. SIAM Journal on Computing 35 (5), 1210-1240.
    • (2006) SIAM Journal on Computing , vol.35 , Issue.5 , pp. 1210-1240
    • Lohrey, M.1
  • 26
    • 18944397777 scopus 로고
    • The problem of solvability of equations in a free semigroup
    • Makanin, G. S., 1977. The problem of solvability of equations in a free semigroup. Math. USSR Sbornik 32 (2), 129-198.
    • (1977) Math. USSR Sbornik , vol.32 , Issue.2 , pp. 129-198
    • Makanin, G.S.1
  • 28
    • 85016671597 scopus 로고
    • Testing equivalence of morphisms in context-free languages
    • of Lecture Notes in Computer Science
    • Plandowski, W., 1994. Testing equivalence of morphisms in context-free languages. In: Proc. of the 2nd Annual European Symp. on Algorithms, ESA'94. Vol. 855 of Lecture Notes in Computer Science. pp. 460-470.
    • (1994) Proc. of the 2nd Annual European Symp. on Algorithms, ESA'94 , vol.855 , pp. 460-470
    • Plandowski, W.1
  • 32
    • 0037216073 scopus 로고    scopus 로고
    • A decision algorithm for stratified context unification
    • Schmidt-Schauß, M., 2002. A decision algorithm for stratified context unification. Journal of Logic and Computation 12 (6), 929-953.
    • (2002) Journal of Logic and Computation , vol.12 , Issue.6 , pp. 929-953
    • Schmidt-Schauß, M.1
  • 33
    • 0742286326 scopus 로고    scopus 로고
    • Decidability of bounded second order unification
    • Schmidt-Schauß, M., 2004. Decidability of bounded second order unification. Information and Computation 188 (2), 143-178.
    • (2004) Information and Computation , vol.188 , Issue.2 , pp. 143-178
    • Schmidt-Schauß, M.1
  • 36
    • 0036153167 scopus 로고    scopus 로고
    • Solvability of context equations with two context variables is decidable
    • Schmidt-Schauß, M., Schulz, K. U., 2002. Solvability of context equations with two context variables is decidable. Journal of Symbolic Computation 33 (1), 77-122.
    • (2002) Journal of Symbolic Computation , vol.33 , Issue.1 , pp. 77-122
    • Schmidt-Schauß, M.1    Schulz, K.U.2


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