Geodesic
A note on finite sets of terms closed under subterms and unification
Commentationes Mathematicae Universitatis Carolinae, Tome 37 (1996) no. 3, pp. 655-656

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

The paper contains two remarks on finite sets of groupoid terms closed under subterms and the application of unifying pairs.
Classification : 08B05
Keywords: terms; unification 
@article{CMUC_1996__37_3_a23,
     author = {Je\v{z}ek, Jaroslav},
     title = {A note on finite sets of terms closed under subterms and unification},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {655--656},
     publisher = {mathdoc},
     volume = {37},
     number = {3},
     year = {1996},
     mrnumber = {1426931},
     zbl = {0882.08001},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1996__37_3_a23/}
}
TY  - JOUR
AU  - Ježek, Jaroslav
TI  - A note on finite sets of terms closed under subterms and unification
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1996
SP  - 655
EP  - 656
VL  - 37
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CMUC_1996__37_3_a23/
LA  - en
ID  - CMUC_1996__37_3_a23
ER  - 
%0 Journal Article
%A Ježek, Jaroslav
%T A note on finite sets of terms closed under subterms and unification
%J Commentationes Mathematicae Universitatis Carolinae
%D 1996
%P 655-656
%V 37
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_1996__37_3_a23/
%G en
%F CMUC_1996__37_3_a23
Ježek, Jaroslav. A note on finite sets of terms closed under subterms and unification. Commentationes Mathematicae Universitatis Carolinae, Tome 37 (1996) no. 3, pp. 655-656. http://geodesic.mathdoc.fr/item/CMUC_1996__37_3_a23/