Representación gráfica del teorema de Church y Rosser

E.G.K. López-Escobar

Publicado

1993-07-01

Representación gráfica del teorema de Church y Rosser

Palabras clave:

Representación gráfica, teorema de Church, Rosser, sistemas combinatorios (es)

Descargas

PDF

Autores/as

E.G.K. López-Escobar Universidad de Maryland

Resumen (es)

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: 16 abr. 2025.

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: 16 abril 2025).

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 abril 16, 2025. 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 16 de abril de 2025];27(3-4):267-80. Disponible en: https://revistas.unal.edu.co/index.php/recolma/article/view/33632