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

E.G.K. López-Escobar

Veröffentlicht

1993-07-01

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

Schlagworte:

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

Downloads

PDF (Español)

Autor/innen

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

Abstract (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.

Zitationsvorschlag

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 (Juli 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: 2 feb. 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), S. 267–280. Verfügbar unter: https://revistas.unal.edu.co/index.php/recolma/article/view/33632 (Zugegriffen: 2 Februar 2025).

IEEE

[1]

E. López-Escobar, „Representación gráfica del teorema de Church y Rosser“, rev.colomb.mat, Bd. 27, Nr. 3-4, S. 267–280, Juli 1993.

MLA

López-Escobar, E. „Representación gráfica del teorema de Church y Rosser“. Revista Colombiana de Matemáticas, Bd. 27, Nr. 3-4, Juli 1993, S. 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 (Juli 1, 1993): 267–280. Zugegriffen Februar 2, 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. Juli 1993 [zitiert 2. Februar 2025];27(3-4):267-80. Verfügbar unter: https://revistas.unal.edu.co/index.php/recolma/article/view/33632