Contribuciones del usuario
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 19:50 1 jun 2010 (dif | hist) . . (0) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 19:50 1 jun 2010 (dif | hist) . . (+15) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 19:48 1 jun 2010 (dif | hist) . . (+80) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 19:45 1 jun 2010 (dif | hist) . . (+670) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 19:41 1 jun 2010 (dif | hist) . . (+647) . . Verification of the formal concept analysis in PVS
- 19:38 1 jun 2010 (dif | hist) . . (-76) . . Theories
- 19:38 1 jun 2010 (dif | hist) . . (+58) . . A formally verified prover for the ALC description logic (or Constructing formally verified reasoners for the ALC description logic) (edición actual)
- 19:37 1 jun 2010 (dif | hist) . . (+757) . . A formally verified prover for the ALC description logic (or Constructing formally verified reasoners for the ALC description logic)
- 19:34 1 jun 2010 (dif | hist) . . (+183) . . N Refinements (New page: * '''Title:''' * '''Autores:''' {{jalonso}} y {{mjoseh}}. * '''Fecha de realización:''' * '''Abstract:''' * '''Code:''' You can find the PVS theories in ... * '''Documentation:''')
- 19:34 1 jun 2010 (dif | hist) . . (+183) . . N A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution (New page: * '''Title:''' * '''Autores:''' {{jalonso}} y {{mjoseh}}. * '''Fecha de realización:''' * '''Abstract:''' * '''Code:''' You can find the PVS theories in ... * '''Documentation:''')
- 19:34 1 jun 2010 (dif | hist) . . (+183) . . N Verification of the formal concept analysis in PVS (New page: * '''Title:''' * '''Autores:''' {{jalonso}} y {{mjoseh}}. * '''Fecha de realización:''' * '''Abstract:''' * '''Code:''' You can find the PVS theories in ... * '''Documentation:''')
- 19:33 1 jun 2010 (dif | hist) . . (+183) . . N A formally verified prover for the ALC description logic (or Constructing formally verified reasoners for the ALC description logic) (New page: * '''Title:''' * '''Autores:''' {{jalonso}} y {{mjoseh}}. * '''Fecha de realización:''' * '''Abstract:''' * '''Code:''' You can find the PVS theories in ... * '''Documentation:''')
- 19:32 1 jun 2010 (dif | hist) . . (+324) . . Theories
- 19:11 1 jun 2010 (dif | hist) . . (-55) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 19:11 1 jun 2010 (dif | hist) . . (-1) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 19:10 1 jun 2010 (dif | hist) . . (-12) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 19:09 1 jun 2010 (dif | hist) . . (+218) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 19:07 1 jun 2010 (dif | hist) . . (+615) . . N Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO) (New page: * '''Title:''' A Formalization of Abstract Properties of Confluent Reductions in PVS * '''Autores:''' {{jalonso}} y {{mjoseh}}. * '''Fecha de realización:''' Diciembre de 2009. * '''Abstr...)
- 19:03 1 jun 2010 (dif | hist) . . (-1) . . Theories
- 19:03 1 jun 2010 (dif | hist) . . (+93) . . Theories
- 19:02 1 jun 2010 (dif | hist) . . (+645) . . N PROTEMO (New page: * '''Title:''' Proving termination with multiset orderings in PVS: theory,methodology and applications * '''Autores:''' {{jalonso}}, {{mjoseh}} y {{fjesus}}. * '''Fecha de realización:'''...) (edición actual)
- 19:00 1 jun 2010 (dif | hist) . . (+14) . . Theories
- 17:07 1 jun 2010 (dif | hist) . . (+25) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 17:06 1 jun 2010 (dif | hist) . . (+1) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 17:05 1 jun 2010 (dif | hist) . . (+67) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 17:03 1 jun 2010 (dif | hist) . . (+82) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 17:01 1 jun 2010 (dif | hist) . . (-10) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 16:59 1 jun 2010 (dif | hist) . . (+450) . . N A Formalization of Abstract Properties of Confluent Reductions in PVS (New page: {| border="1" | Title | A Formalization of Abstract Properties of Confluent Reductions in PVS |- | Abstract | This theory is a simple and smart formalization of abstract confluence propert...)
- 16:52 1 jun 2010 (dif | hist) . . (+77) . . Theories (→Theories)
- 13:44 9 dic 2008 (dif | hist) . . (0) . . Logic for Computer Science
- 13:02 20 nov 2008 (dif | hist) . . (-1) . . Razonamiento formalizado
- 12:51 20 nov 2008 (dif | hist) . . (0) . . APLI2S (APLIcaciones de Ayuda Para Lógica Informática)
- 13:53 22 oct 2008 (dif | hist) . . (+1) . . Projects (→Verificación de traductores de problemas combinatorios en SAT)
- 13:53 22 oct 2008 (dif | hist) . . (+1) . . Projects (→Solución declarativa de problemas)
- 13:52 22 oct 2008 (dif | hist) . . (-1) . . Projects (→APLI2++ (APLIcaciónes de Ayuda Para Lógica Informática))
- 12:03 17 abr 2008 (dif | hist) . . (+1) . . Publications (→Libros de Actas)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
