Diferencia entre revisiones de «A Formalization of Abstract Properties of Confluent Reductions in PVS»

De WikiGLC
Saltar a: navegación, buscar
(New page: {| border="1" | Title | A Formalization of Abstract Properties of Confluent Reductions in PVS |- | Abstract | This theory is a simple and smart formalization of abstract confluence propert...)
 
Línea 1: Línea 1:
−
{| border="1"
+
* '''Title:''' A Formalization of Abstract Properties of Confluent Reductions in PVS
−
| Title
+
* '''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.
−
| A Formalization of Abstract Properties of Confluent Reductions in PVS
 
−
|-
 
−
| 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.
 
−
|}
 

Revisión del 17:01 1 jun 2010

  • Title: A Formalization of Abstract Properties of Confluent Reductions in PVS
  • 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.
Obtenido de «https://www.glc.us.es/web/index.php?title=A_Formalization_of_Abstract_Properties_of_Confluent_Reductions_in_PVS&oldid=870»