Variant-based Equational Unification under Constructor Symbols

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.325.10 ◽

2020 ◽

Vol 325 ◽

pp. 38-51

Author(s):

Damián Aparicio-Sánchez ◽

Santiago Escobar ◽

Julia Sapiña

Keyword(s):

Equational Unification

Download Full-text

Complete equational unification based on an extension of the Knuth-Bendix completion procedure

Word Equations and Related Topics - Lecture Notes in Computer Science ◽

10.1007/3-540-55124-7_8 ◽

1992 ◽

pp. 197-209

Author(s):

Akihiko Ohsuga ◽

Kô Sakai

Keyword(s):

Equational Unification

Download Full-text

A new equational unification method : A generalisation of Martelli-Montanari's algorithm

7th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/bfb0047124 ◽

2006 ◽

pp. 224-247 ◽

Cited By ~ 1

Author(s):

Claude Kirchner

Keyword(s):

Equational Unification

Download Full-text

Some results on equational unification

10th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/3-540-52885-7_94 ◽

1990 ◽

pp. 276-291 ◽

Cited By ~ 4

Author(s):

Paliath Narendran ◽

Friedrich Otto

Keyword(s):

Equational Unification

Download Full-text

Combination Problems for Commutativef0003/Monoidal Theories or How Algebra Can Help in Equational Unification

Applicable Algebra in Engineering Communication and Computing ◽

10.1007/s002000050036 ◽

1996 ◽

Vol 7 (4) ◽

pp. 309-337

Author(s):

Franz Baader ◽

Werner Nutt

Keyword(s):

Equational Unification

Download Full-text

Equational Unification

Term Rewriting and All That ◽

10.1017/cbo9781139172752.011 ◽

1998 ◽

pp. 223-264

Keyword(s):

Equational Unification

Download Full-text

Combination problems for commutative/monoidal theories or how algebra can help in equational unification

Applicable Algebra in Engineering Communication and Computing ◽

10.1007/bf01195536 ◽

1996 ◽

Vol 7 (4) ◽

pp. 309-337 ◽

Cited By ~ 9

Author(s):

Franz Baader ◽

Werner Nutt

Keyword(s):

Equational Unification

Download Full-text

Higher-order equational unification via explicit substitutions

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0027003 ◽

1997 ◽

pp. 61-75 ◽

Cited By ~ 4

Author(s):

Claude Kirchner ◽

Christophe Ringeissen

Keyword(s):

Higher Order ◽

Equational Unification ◽

Explicit Substitutions

Download Full-text

Some independence results for equational unification

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-59200-8_70 ◽

1995 ◽

pp. 367-381 ◽

Cited By ~ 1

Author(s):

Friedrich Otto ◽

Paliath Narendran ◽

Daniel J. Dougherty

Keyword(s):

Equational Unification ◽

Independence Results

Download Full-text

Order-sorted Equational Unification Revisited

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2012.11.010 ◽

2012 ◽

Vol 290 ◽

pp. 37-50 ◽

Cited By ~ 6

Author(s):

Joe Hendrix ◽

José Meseguer

Keyword(s):

Equational Unification

Download Full-text

Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-53904-2_91 ◽

1991 ◽

pp. 124-135 ◽

Cited By ~ 5

Author(s):

Franz Baader ◽

Werner Nutt

Keyword(s):

Equational Unification

Download Full-text