Diferencia entre revisiones de «A Formalization of Abstract Properties of Confluent Reductions in PVS»
| Línea 5: | Línea 5: | ||
* '''Code:''' La formalización en PVS se encuentra en ... | * '''Code:''' La formalización en PVS se encuentra en ... | ||
* '''Documentation:''' | * '''Documentation:''' | ||
| + | |||
| + | {| border="1" | ||
| + | | '''Title:''' | ||
| + | | A Formalization of Abstract Properties of Confluent Reductions in PVS | ||
| + | |- | ||
| + | | '''Autores:''' | ||
| + | | {{jalonso}} y {{mjoseh}}. | ||
| + | |- | ||
| + | | '''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:''' | ||
| + | | ... | ||
| + | |} | ||
Revisión del 19:45 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:
| 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: | ... |
