A Formalization of Abstract Properties of Confluent Reductions in PVS

De WikiGLC
Saltar a: navegación, buscar
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
  1. A Formalization of Abstract Properties of Confluent Reductions in PVS.
  2. otro
  3. y otra
Obtenido de «https://www.glc.us.es/web/index.php?title=A_Formalization_of_Abstract_Properties_of_Confluent_Reductions_in_PVS&oldid=907»