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

MR   Zbl

The paper contains two remarks on finite sets of groupoid terms closed under subterms and the application of unifying pairs.
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 
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/
@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},
     year = {1996},
     volume = {37},
     number = {3},
     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
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
%U http://geodesic.mathdoc.fr/item/CMUC_1996_37_3_a23/
%G en
%F CMUC_1996_37_3_a23