메뉴 건너뛰기




Volumn 162, Issue 1-2, 2000, Pages 3-23

Complexity of nilpotent unification and matching problems

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; LINEAR EQUATIONS; PATTERN MATCHING; POLYNOMIALS; PROBLEM SOLVING; SET THEORY;

EID: 0034634023     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.1999.2849     Document Type: Article
Times cited : (6)

References (27)
  • 1
    • 84965037759 scopus 로고
    • Set constraints: Results, applications and future directions
    • "Proceedings of the Second Workshop on Principles and Practice of Constraints Programming," Springer-Verlag, Berlin
    • Aiken, A. (1994), Set constraints: results, applications and future directions, in "Proceedings of the Second Workshop on Principles and Practice of Constraints Programming," Lecture Notes in Computer Science, Vol. 874, pp. 326-335, Springer-Verlag, Berlin.
    • (1994) Lecture Notes in Computer Science , vol.874 , pp. 326-335
    • Aiken, A.1
  • 2
    • 84880003791 scopus 로고
    • The complexity of set constraints
    • "Proceedings of the 1993 Conference on Computer Science Logic," Springer-Verlag, Berlin
    • Aiken, A., Kozen, D., Vardi, M., and Wimmers, E. (1993), The complexity of set constraints, in "Proceedings of the 1993 Conference on Computer Science Logic," Lecture Notes in Computer Science, Vol. 832, pp. 1-17, Springer-Verlag, Berlin.
    • (1993) Lecture Notes in Computer Science , vol.832 , pp. 1-17
    • Aiken, A.1    Kozen, D.2    Vardi, M.3    Wimmers, E.4
  • 3
    • 0027627587 scopus 로고
    • Unification in commutative theories, Hilbert's Basis Theorem, and Gröbner bases
    • Baader, F. (1993), Unification in commutative theories, Hilbert's Basis Theorem, and Gröbner bases, J. Assoc. Comput. Mach. 40, 477-503.
    • (1993) J. Assoc. Comput. Mach. , vol.40 , pp. 477-503
    • Baader, F.1
  • 4
    • 84968312063 scopus 로고
    • Unification in the union of disjoint equational theories: Combining decision procedures
    • "Proceedings of the Eleventh Conference on Automated Deduction," Springer-Verlag, Berlin
    • Baader, F., and Schultz, K. U. (1992), Unification in the union of disjoint equational theories: combining decision procedures, in "Proceedings of the Eleventh Conference on Automated Deduction," Lecture Notes in Artificial Intelligence, Vol. 607, pp. 50-65, Springer-Verlag, Berlin.
    • (1992) Lecture Notes in Artificial Intelligence , vol.607 , pp. 50-65
    • Baader, F.1    Schultz, K.U.2
  • 5
    • 0002367769 scopus 로고
    • Unification theory
    • D. M. Gabbay, C. J. Hogger, and J. A. Robinson, Eds., Oxford University Press, Oxford
    • Baader, F., and Siekmann, J. S. (1994), Unification theory, in "Handbook of Logic in Artificial Intelligence and Logic Programming" (D. M. Gabbay, C. J. Hogger, and J. A. Robinson, Eds.), pp. 41-125, Oxford University Press, Oxford.
    • (1994) Handbook of Logic in Artificial Intelligence and Logic Programming , pp. 41-125
    • Baader, F.1    Siekmann, J.S.2
  • 8
    • 84858564688 scopus 로고
    • Decidable matching for convergent systems
    • "Proceedings of the Eleventh Conference on Automated Deduction," Springer-Verlag, Berlin
    • Dershowitz, N., Mitra, S., and Sivakumar, G. (1992), Decidable matching for convergent systems, in "Proceedings of the Eleventh Conference on Automated Deduction," Lecture Notes in Artificial Intelligence, Vol. 607, pp. 589-602, Springer-Verlag, Berlin.
    • (1992) Lecture Notes in Artificial Intelligence , vol.607 , pp. 589-602
    • Dershowitz, N.1    Mitra, S.2    Sivakumar, G.3
  • 11
    • 0000218554 scopus 로고
    • The undecidability of the second-order unification problem
    • Goldfarb, W. D. (1981), The undecidability of the second-order unification problem, Theoret. Comput. Sci. 13, 225-230.
    • (1981) Theoret. Comput. Sci. , vol.13 , pp. 225-230
    • Goldfarb, W.D.1
  • 13
    • 84957709608 scopus 로고    scopus 로고
    • Unification algorithms cannot be combined in polynomial time
    • "Proceedings of the Thirteenth Conference on Automated Deduction," Springer-Verlag, Berlin
    • Hermann, M., and Kolaitis, P. G. (1996), Unification algorithms cannot be combined in polynomial time, in "Proceedings of the Thirteenth Conference on Automated Deduction," Lecture Notes in Artificial Intelligence, Vol. 1104, pp. 246-260, Springer-Verlag, Berlin.
    • (1996) Lecture Notes in Artificial Intelligence , vol.1104 , pp. 246-260
    • Hermann, M.1    Kolaitis, P.G.2
  • 14
    • 85035020357 scopus 로고
    • Canonical forms and unification
    • "Proceedings of the Fifth Conference on Automated Deduction," Springer-Verlag, Berlin
    • Hullot, J.-M. ( 1980), Canonical forms and unification, in "Proceedings of the Fifth Conference on Automated Deduction," Lecture Notes in Computer Science, Vol. 87, pp. 318-334, Springer-Verlag, Berlin.
    • (1980) Lecture Notes in Computer Science , vol.87 , pp. 318-334
    • Hullot, J.-M.1
  • 15
    • 0002692684 scopus 로고
    • Solving equations in abstract algebras: A rule-based survey of unification
    • MIT Press, Boston
    • Jouannaud, J.-P., and Kirchner, C. (1991), Solving equations in abstract algebras: a rule-based survey of unification, in "Computational Logic: Essays in Honor of Alan Robinson," pp. 360-394, MIT Press, Boston.
    • (1991) Computational Logic: Essays in Honor of Alan Robinson , pp. 360-394
    • Jouannaud, J.-P.1    Kirchner, C.2
  • 17
    • 84957044441 scopus 로고
    • NP-completeness of the set unification and matching problems
    • "Proceedings of the Eighth Conference on Automated Deduction," Springer-Verlag, Berlin
    • Kapur, D., and Narendran, P. (1986), NP-completeness of the set unification and matching problems, in "Proceedings of the Eighth Conference on Automated Deduction," Lecture Notes in Computer Science, Vol. 230, pp. 489-495, Springer-Verlag, Berlin.
    • (1986) Lecture Notes in Computer Science , vol.230 , pp. 489-495
    • Kapur, D.1    Narendran, P.2
  • 18
    • 0000365516 scopus 로고
    • Complexity of unification problems with associative-commutative operators
    • Kapur, D., and Narendran, P. (1992), Complexity of unification problems with associative-commutative operators, J. Automated Reason. 9, 261-280.
    • (1992) J. Automated Reason. , vol.9 , pp. 261-280
    • Kapur, D.1    Narendran, P.2
  • 22
    • 0031505860 scopus 로고    scopus 로고
    • (1997), J. Symbolic Logic 62(2), 636-647.
    • (1997) J. Symbolic Logic , vol.62 , Issue.2 , pp. 636-647
  • 23
    • 3342976735 scopus 로고
    • Unification in monoidal theories
    • "Proceedings of the 10th International Conference on Automated Deduction," Springer-Verlag, Berlin
    • Nutt, W. (1990), Unification in monoidal theories, in "Proceedings of the 10th International Conference on Automated Deduction," Lecture Notes in Computer Science, Vol. 449, pp. 618-632, Springer-Verlag, Berlin.
    • (1990) Lecture Notes in Computer Science , vol.449 , pp. 618-632
    • Nutt, W.1
  • 24
    • 0002596558 scopus 로고
    • Building-in equational theories
    • Edinburgh
    • Plotkin, G. D. (1972), Building-in equational theories, in "Machine Intelligence," Vol. 7, pp. 73-90, Edinburgh.
    • (1972) Machine Intelligence , vol.7 , pp. 73-90
    • Plotkin, G.D.1
  • 26
    • 85031554186 scopus 로고
    • An Algorithm for Distributive Unification
    • Universität Frankfurt, Frankfurt, Germany
    • Schmidt-Schauss, M. (1995), "An Algorithm for Distributive Unification," Interner Bericht 13/94, Fachbereich Informatik, Universität Frankfurt, Frankfurt, Germany.
    • (1995) Interner Bericht 13/94, Fachbereich Informatik
    • Schmidt-Schauss, M.1


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