Diferencia entre revisiones de «Theories»

De WikiGLC
Saltar a: navegación, buscar
(Theories)
Línea 1: Línea 1:
 
== Theories ==
 
== Theories ==
 +
* [http://www.cs.us.es/~jalonso/trabajos_dirigidos/Teoria_computacional_en_ACL2_sobre_calculos_proposicionales.zip Teoría computacional (en ACL2) sobre cálculos proposicionales].
 
* [http://www.cs.us.es/~jruiz/acl2-rewr/ Formalizing equational reasoning and rewriting (using ACL2)]
 
* [http://www.cs.us.es/~jruiz/acl2-rewr/ Formalizing equational reasoning and rewriting (using ACL2)]
 
* [http://www.cs.us.es/~jruiz/acl2-mul/ Multiset relations: a tool for proving termination (in ACL2)]
 
* [http://www.cs.us.es/~jruiz/acl2-mul/ Multiset relations: a tool for proving termination (in ACL2)]

Revisión del 22:03 12 nov 2009