An algorithm for distributive unification

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

Volumn 1103, Issue , 1996, Pages 287-301

  Schmidt Schauß, Manfred ^a  

^a GOETHE UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

POLYNOMIAL APPROXIMATION;

DECISION ALGORITHMS; EQUATIONAL THEORY; LINEAR CONSTANTS; POLYNOMIAL-TIME; SECOND ORDERS; TRANSFORMATION RULES; UNIFICATION PROBLEM; WORD PROBLEM;

DECISION THEORY;

EID: 84957678766     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61464-8_60     Document Type: Conference Paper

References (24)

1. BK85 Bergstra, J.A. and Klop, J.W., Algebra of communicating processes with abstraction. J. theoretical computer science 37, 77-121, (1985)
2. BS91 Baader, F., Schulz, K.U., General A- and AX-Unification via Optimised Combination Procedures, Proc. Second International Workshop on Word Equations and Related Topics 1991, LNCS 677, pp. 23-42, (1992)
3. th CADE, LNCS 607, Springer-Verlag, pp. 50-65, (1992)
4. BS94 Baader, F, Siekmann, J., Unification Theory, in D.M. Gabbay, C.J. Hogger, J.A: Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press, (1994)
5. BW90 Baeten, Weijland, W.P., Process Algebra, Cambridge tracts in theoretical computer science, Cambridge university press, (1990)
6. Con93 Contejean, E., Solving *-problems modulo Distributivity by a reduction to ACl-Unifícation, J. of Symbolic Computation 16, pp. 493-521. (1993)
7. Fa91 Farmer, W., A., Simple second-order languages for which unification is undecidable. Theoretical Computer Science 87, pp. 173-214, (1991)
8. G0181 Goldfarb, W. The undecidability of the second-order unification problem, J. TCS 13, pp. 225-230, (1981)
9. Jaf90 Jaffar, J., Minimal and complete word unification, J. of the ACM, 37, 47-85, (1990)
10. KN92 Kapur, D., Narendran, Complexity of AC 1-unification, JAR 92: pp 261-288, (1992)
11. KiC89 Kirchner, C. (ed.), Unification, reprint from J. of Symbolic Computation, Academic Press, (1989)
12. Ma77 Makanin G.S:, The problem of solvability od equations in a free semigroup. Math. Sbornik, 103, 147-236, (1977), english translation in Math USSR Sbornik 32, (1977)
13. NPS93 Narendran, P., Pfenning, F., Statman, R., On the unification problem in cartesian closed categories, Proc. Logic in Computer Science, 57-63, (1993)
14. Ri90 Rittri, M., Retrieving library identifiers via equational matching of types, Proc. 10th CADE, Springer Lecture Notes in Computer Science 449, 603- 617, (1990)
15. Sch89 Schmidt-Schauβ, M., Unification in a combination of arbitrary disjoint equational theories, J. Symbolic computation 8, 51-99, (1989)
16. Sch92 Schmidt-Schauβ, M., Some results on unification in distributive equational theories, Internal report 7/92. J.W. Goethe-Universität, Frankfurt am Main, (1992)
17. Sch93 Schmidt-Schauβ, M., Unification under one-sided distributivity with a multiplicative unit, Proc. LPAR 93, Springer LNCS 698, pp. 289-300, (1993)
18. Sch94a Schmidt-Schauβ, M., Unification of Stratified Second-Order Terms, Internal report 12/94, Fachbereich Informatik, Johann Wolfgang Goethe-Universität Frankfurt, (1994)
19. Sch94b Schmidt-Schauβ, M., An Algorithm for Distributive Unification, Internal report 13/94, Fachbereich Informatik, Johann Wolfgang Goethe-Universität Frankfurt, (1994)
20. Sch95 Schmidt-Schauβ, M., Unification of Stratified Second-Order Terms, improved version of Sch94a, submitted for publication, 1995
21. Su93 Schulz, K.U., Word unification and transformation of generalized equations, J. Automated Reasoning 11, pp. 149-184,(1993)
22. Si89 Siekmann, J., Unification theory: a survey, in C. Kirchner (ed.), Special issue on unification, Journal of symbolic computation 7, (1989)
23. Sz82 Szabó, P., Unifikationstheorie erster Ordnung, Dissertation, Karlsruhe, (1982)
24. TA87 Tiden, E., Amborg, S., Unification problems with one-sided distributivity, J. Symbolic Computation 3, pp. 183-202,(1987)