Theories

Theories

• A Formalization of Abstract Properties of Confluent Reductions in PVS.
• [[Proving termination with multiset orderings in PVS: theory,

 methodology and applications (PROTEMO)]].

• Teoría computacional (en ACL2) sobre cálculos proposicionales.
• Formalizing equational reasoning and rewriting (using ACL2)
• Multiset relations: a tool for proving termination (in ACL2)
• Reasoning about first-order terms using the ACL2 theorem prover
• An unification algorithm in ACL2 using dags
• A generic framework for propositional SAT-provers (formalization in ACL2)
• Formalization and proof of Dickson's Lemma in ACL2
• Haskell implementation of Independence Rule

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