About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

Ježek, Jaroslav
A note on finite sets of terms closed under subterms and unification. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 37 (1996), issue 3, pp. 655-656
MSC: 08B05 | MR 1426931 | Zbl 0882.08001
Keywords:
terms; unification
Summary:
The paper contains two remarks on finite sets of groupoid terms closed under subterms and the application of unifying pairs.
References:
[1] Dershowitz N., Jouannaud J.-P.: Rewrite systems. Chapter 6, 243-320 in J. van Leeuwen, ed., Handbook of Theoretical Computer Science, B: Formal Methods and Semantics, North Holland, Amsterdam, 1990. MR 1127191 | Zbl 0900.68283
Partner of
EuDML logo