Representación gráfica del teorema de Church y Rosser
Palabras clave:
Representación gráfica, teorema de Church, Rosser, sistemas combinatorios (es)Descargas
Usando una notación en el estilo del Begriffsschrift de G. Frege [3] damos una prueba muy transparente del teorema de Church y Rosser para un gran conjunto de sistemas combinatorios.
Cómo citar
APA
López-Escobar, E. (1993). Representación gráfica del teorema de Church y Rosser. Revista Colombiana de Matemáticas, 27(3-4), 267–280. https://revistas.unal.edu.co/index.php/recolma/article/view/33632
ACM
[1]
López-Escobar, E. 1993. Representación gráfica del teorema de Church y Rosser. Revista Colombiana de Matemáticas. 27, 3-4 (jul. 1993), 267–280.
ACS
(1)
López-Escobar, E. Representación gráfica del teorema de Church y Rosser. rev.colomb.mat 1993, 27, 267-280.
ABNT
LÓPEZ-ESCOBAR, E. Representación gráfica del teorema de Church y Rosser. Revista Colombiana de Matemáticas, [S. l.], v. 27, n. 3-4, p. 267–280, 1993. Disponível em: https://revistas.unal.edu.co/index.php/recolma/article/view/33632. Acesso em: 29 mar. 2024.
Chicago
López-Escobar, E.G.K. 1993. «Representación gráfica del teorema de Church y Rosser». Revista Colombiana De Matemáticas 27 (3-4):267-80. https://revistas.unal.edu.co/index.php/recolma/article/view/33632.
Harvard
López-Escobar, E. (1993) «Representación gráfica del teorema de Church y Rosser», Revista Colombiana de Matemáticas, 27(3-4), pp. 267–280. Disponible en: https://revistas.unal.edu.co/index.php/recolma/article/view/33632 (Accedido: 29 marzo 2024).
IEEE
[1]
E. López-Escobar, «Representación gráfica del teorema de Church y Rosser», rev.colomb.mat, vol. 27, n.º 3-4, pp. 267–280, jul. 1993.
MLA
López-Escobar, E. «Representación gráfica del teorema de Church y Rosser». Revista Colombiana de Matemáticas, vol. 27, n.º 3-4, julio de 1993, pp. 267-80, https://revistas.unal.edu.co/index.php/recolma/article/view/33632.
Turabian
López-Escobar, E.G.K. «Representación gráfica del teorema de Church y Rosser». Revista Colombiana de Matemáticas 27, no. 3-4 (julio 1, 1993): 267–280. Accedido marzo 29, 2024. https://revistas.unal.edu.co/index.php/recolma/article/view/33632.
Vancouver
1.
López-Escobar E. Representación gráfica del teorema de Church y Rosser. rev.colomb.mat [Internet]. 1 de julio de 1993 [citado 29 de marzo de 2024];27(3-4):267-80. Disponible en: https://revistas.unal.edu.co/index.php/recolma/article/view/33632
Descargar cita
Visitas a la página del resumen del artículo
387
Descargas
Los datos de descargas todavía no están disponibles.
Licencia
Derechos de autor 1993 Revista Colombiana de Matemáticas
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.