Diferencia entre revisiones de «Theories»

De WikiGLC
Saltar a: navegación, buscar
(Theories in PVS)
Línea 3: Línea 3:
 
# [[A Formalization of Abstract Properties of Confluent Reductions in PVS]].
 
# [[A Formalization of Abstract Properties of Confluent Reductions in PVS]].
 
# [[Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)]].
 
# [[Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)]].
# [[A formally verified prover for the ALC description logic in PVS]].
+
# [[A formally verified prover for the ALC description logic]].
 
# [[Verification of the formal concept analysis in PVS]].
 
# [[Verification of the formal concept analysis in PVS]].
 
# [[A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution]].
 
# [[A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution]].
 
# [[Theory of Refinements in PVS]].
 
# [[Theory of Refinements in PVS]].
 +
 
=== Theories in ACL2 ===
 
=== Theories in ACL2 ===
 
# [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].

Revisión del 19:15 8 feb 2012