A note on finite sets of terms closed under subterms and unification
Ježek, Jaroslav
Commentationes Mathematicae Universitatis Carolinae, Tome 37 (1996), p. 655-656 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)

The paper contains two remarks on finite sets of groupoid terms closed under subterms and the application of unifying pairs.

Publié le : 1996-01-01
Classification:  08B05 
@article{118873,
     author = {Jaroslav Je\v zek},
     title = {A note on finite sets of terms closed under subterms and unification},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {37},
     year = {1996},
     pages = {655-656},
     zbl = {0882.08001},
     mrnumber = {1426931},
     language = {en},
     url = {http://dml.mathdoc.fr/item/118873}
}

Ježek, Jaroslav. A note on finite sets of terms closed under subterms and unification. Commentationes Mathematicae Universitatis Carolinae, Tome 37 (1996) pp. 655-656. http://gdmltest.u-ga.fr/item/118873/

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