Representación gráfica del teorema de church y rosser
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.
- Autores:
-
López-Escobar, E.G.K.
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 1993
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/43637
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/43637
http://bdigital.unal.edu.co/33735/
- Palabra clave:
- Representación gráfica
teorema de Church
Rosser
sistemas combinatorios
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
| Summary: | 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. |
|---|