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

E.G.K. López-Escobar

Pubblicato

1993-07-01

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

Parole chiave:

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

##submission.downloads##

PDF (Español)

Autori

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.

Come citare

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 (lug. 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: 22 gen. 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), pagg. 267–280. Available at: https://revistas.unal.edu.co/index.php/recolma/article/view/33632 (Consultato: 22 gennaio 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, pagg. 267–280, lug. 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, luglio 1993, pagg. 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 (luglio 1, 1993): 267–280. Consultato gennaio 22, 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 luglio 1993 [citato 22 gennaio 2025];27(3-4):267-80. Available at: https://revistas.unal.edu.co/index.php/recolma/article/view/33632