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

Autores/as

  • 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.

 

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.