Geodesic
The connection between the fundamental groupoid and a unification algorithm for syntactil algebras (extended abstract)
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 32 (1991) no. 3, pp. 203-242

Voir la notice de l'article provenant de la source Numdam

@article{CTGDC_1991__32_3_203_0,
     author = {Latch, Dana May},
     title = {The connection between the fundamental groupoid and a unification algorithm for syntactil algebras (extended abstract)},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {203--242},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {32},
     number = {3},
     year = {1991},
     mrnumber = {1158109},
     zbl = {0768.68084},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CTGDC_1991__32_3_203_0/}
}
TY  - JOUR
AU  - Latch, Dana May
TI  - The connection between the fundamental groupoid and a unification algorithm for syntactil algebras (extended abstract)
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1991
SP  - 203
EP  - 242
VL  - 32
IS  - 3
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://geodesic.mathdoc.fr/item/CTGDC_1991__32_3_203_0/
LA  - en
ID  - CTGDC_1991__32_3_203_0
ER  - 
%0 Journal Article
%A Latch, Dana May
%T The connection between the fundamental groupoid and a unification algorithm for syntactil algebras (extended abstract)
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1991
%P 203-242
%V 32
%N 3
%I Dunod éditeur, publié avec le concours du CNRS
%U http://geodesic.mathdoc.fr/item/CTGDC_1991__32_3_203_0/
%G en
%F CTGDC_1991__32_3_203_0
Latch, Dana May. The connection between the fundamental groupoid and a unification algorithm for syntactil algebras (extended abstract). Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 32 (1991) no. 3, pp. 203-242. http://geodesic.mathdoc.fr/item/CTGDC_1991__32_3_203_0/