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 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

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 
@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
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/