Publié-e

1993-07-01

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

Mots-clés :

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

Téléchargements

Auteurs-es

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

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.

 

Comment citer

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 (juill. 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 janv. 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), p. 267–280. Disponible à: https://revistas.unal.edu.co/index.php/recolma/article/view/33632 (Consulté le: 22 janvier 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, p. 267–280, juill. 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, juillet 1993, p. 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 (juillet 1, 1993): 267–280. Consulté le janvier 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 juill. 1993 [cité 22 janv. 2025];27(3-4):267-80. Disponible à: https://revistas.unal.edu.co/index.php/recolma/article/view/33632

Télécharger la référence

Consultations de la page du résumé de l'article

407

Téléchargements

Les données relatives au téléchargement ne sont pas encore disponibles.

Licence

© Revista Colombiana de Matemáticas 1993

Licence Creative Commons

Cette œuvre est sous licence Creative Commons Attribution 4.0 International.