Diferencia entre revisiones de «Theories»

De WikiGLC
Saltar a: navegación, buscar
(Theories)
Línea 1: Línea 1:
 
== Theories ==
 
== Theories ==
 
* [[A Formalization of Abstract Properties of Confluent Reductions in PVS]].
 
* [[A Formalization of Abstract Properties of Confluent Reductions in PVS]].
 +
*[[PROTEMO]].
 
* [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/~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)]

Revisión del 18:00 1 jun 2010

Theories

Resources

  • APLI2 (APLIcación de Ayuda Para Lógica Informática).
  • Stem Traducción de Base Stem(ConExp) a CLIPS.
  • Producciones Traducción de Reglas de Producción(ConExp) a CLIPS.
  • Delicioso Toma de datos y conversión en contexto (formato ConExp).
  • Paella Sistema visual de reparación de ontologías.
  • MenuXML Construcción de menus para móviles basado en FCA.
  • TinyDelicious Transformación de las URLs de Delicious en TinyUrls