On equational theories, unification and decidability

Authors:
H. J. Bürckert;A. Herold;M. Schmidt-Schau:Gb
Affiliations:
-;-;-
Venue:
on Rewriting techniques and applications
Year:
1987

Citing 0
Cited 5

On equational theories, unification, and (Un)decidability

Journal of Symbolic Computation
Unification in a combination of arbitrary disjoint equational theories

Journal of Symbolic Computation
Unification in permutative equational theories is undecidable

Journal of Symbolic Computation
Reducing the derivation of redundant clauses in reasoning systems

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
E-unification with Constants vs. General E-unification

Journal of Automated Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract