Diferencia entre revisiones de «A Formalization of Abstract Properties of Confluent Reductions in PVS»
Línea 1: | Línea 1: | ||
* '''Title:''' A Formalization of Abstract Properties of Confluent Reductions in PVS | * '''Title:''' A Formalization of Abstract Properties of Confluent Reductions in PVS | ||
− | * '''Autores:''' | + | * '''Autores:''' {{jalonso}} y {{mjoseh}}. |
* '''Fecha de realización:''' Diciembre de 2009. | * '''Fecha de realización:''' Diciembre de 2009. | ||
* '''Abstract:''' This theory is a simple and smart formalization of abstract confluence properties such Newman's Lemma or the Church-Rosser property. This formalization is based on the paper "Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems " of G. Huet. | * '''Abstract:''' This theory is a simple and smart formalization of abstract confluence properties such Newman's Lemma or the Church-Rosser property. This formalization is based on the paper "Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems " of G. Huet. | ||
* '''Code:''' La formalización en PVS se encuentra en ... | * '''Code:''' La formalización en PVS se encuentra en ... | ||
* '''Documentation:''' | * '''Documentation:''' |
Revisión del 17:07 1 jun 2010
- Title: A Formalization of Abstract Properties of Confluent Reductions in PVS
- Autores: José A. Alonso y María J. Hidalgo.
- Fecha de realización: Diciembre de 2009.
- Abstract: This theory is a simple and smart formalization of abstract confluence properties such Newman's Lemma or the Church-Rosser property. This formalization is based on the paper "Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems " of G. Huet.
- Code: La formalización en PVS se encuentra en ...
- Documentation: