Geodesic
Representación grafica del teorema de Church y Rosser
Revista colombiana de matematicas, Tome 27 (1993) no. 1-2, pp. 267-280.

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

Mots-clés : Church-Rosser theorem, combinatorial systems 
@article{RCM_1993__27_1-2_181889,
     author = {E. G. K. L\'opez-Escobar},
     title = {Representaci\'on grafica del teorema de {Church} y {Rosser}},
     journal = {Revista colombiana de matematicas},
     pages = {267--280},
     publisher = {mathdoc},
     volume = {27},
     number = {1-2},
     year = {1993},
     zbl = {0801.03014},
     url = {http://geodesic.mathdoc.fr/item/RCM_1993__27_1-2_181889/}
}
TY  - JOUR
AU  - E. G. K. López-Escobar
TI  - Representación grafica del teorema de Church y Rosser
JO  - Revista colombiana de matematicas
PY  - 1993
SP  - 267
EP  - 280
VL  - 27
IS  - 1-2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RCM_1993__27_1-2_181889/
ID  - RCM_1993__27_1-2_181889
ER  - 
%0 Journal Article
%A E. G. K. López-Escobar
%T Representación grafica del teorema de Church y Rosser
%J Revista colombiana de matematicas
%D 1993
%P 267-280
%V 27
%N 1-2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RCM_1993__27_1-2_181889/
%F RCM_1993__27_1-2_181889
E. G. K. López-Escobar. Representación grafica del teorema de Church y Rosser. Revista colombiana de matematicas, Tome 27 (1993) no. 1-2, pp. 267-280. http://geodesic.mathdoc.fr/item/RCM_1993__27_1-2_181889/