Diferencia entre revisiones de «A Formalization of Abstract Properties of Confluent Reductions in PVS»
| Línea 3: | Línea 3: | ||
| A Formalization of Abstract Properties of Confluent Reductions in PVS | | A Formalization of Abstract Properties of Confluent Reductions in PVS | ||
|- | |- | ||
| − | | ''' | + | | '''Authors:''' |
| {{jalonso}} y {{mjoseh}}. | | {{jalonso}} y {{mjoseh}}. | ||
|- | |- | ||
| − | | ''' | + | | '''Date:''' |
| December 2009. | | December 2009. | ||
|- | |- | ||
Revisión del 10:38 2 jun 2010
| Title: | A Formalization of Abstract Properties of Confluent Reductions in PVS |
| Authors: | José A. Alonso y María J. Hidalgo. |
| Date: | December 2009. |
| Description: | 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. |
| PVS Theories: | You can find the PVS theories in ... |
| Documentation: | Se puede consultar los siguientes trabajos |
