Contribuciones del usuario
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 13:09 26 mar 2015 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→Seminario del 15 de abril de 2015)
- 09:28 26 mar 2015 (dif | hist) . . (+155) . . Seminario del Grupo de Lógica Computacional (→Seminario del 8 de abril de 2015)
- 09:24 26 mar 2015 (dif | hist) . . (+314) . . Seminario del Grupo de Lógica Computacional (→Seminario del 15 de abril de 2015)
- 19:59 23 mar 2015 (dif | hist) . . (-2) . . Seminario del Grupo de Lógica Computacional
- 13:13 11 mar 2015 (dif | hist) . . (-2) . . Seminario del Grupo de Lógica Computacional (→Seminario del 6 de mayo de 2015)
- 13:08 11 mar 2015 (dif | hist) . . (+1323) . . Seminario del Grupo de Lógica Computacional (→Próximas sesiones del seminario)
- 12:40 16 feb 2015 (dif | hist) . . (+1) . . Seminario del Grupo de Lógica Computacional
- 13:50 11 feb 2015 (dif | hist) . . (+2) . . Seminario del Grupo de Lógica Computacional
- 13:50 11 feb 2015 (dif | hist) . . (-2) . . Seminario del Grupo de Lógica Computacional
- 09:47 11 feb 2015 (dif | hist) . . (-2) . . Seminario del Grupo de Lógica Computacional
- 09:44 11 feb 2015 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional
- 09:44 11 feb 2015 (dif | hist) . . (+1) . . Seminario del Grupo de Lógica Computacional
- 09:43 11 feb 2015 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional
- 09:42 11 feb 2015 (dif | hist) . . (+1) . . Seminario del Grupo de Lógica Computacional
- 09:41 11 feb 2015 (dif | hist) . . (+659) . . Seminario del Grupo de Lógica Computacional
- 12:21 7 jun 2012 (dif | hist) . . (+113) . . A formally verified prover for the ALC description logic in PVS (edición actual)
- 18:04 1 mar 2012 (dif | hist) . . (+2077) . . A formally verified prover for the ALC description logic in PVS
- 20:09 8 feb 2012 (dif | hist) . . (+7) . . Theories
- 20:08 8 feb 2012 (dif | hist) . . (-9) . . Theories
- 14:19 8 feb 2012 (dif | hist) . . (-1) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO) (edición actual)
- 13:16 4 oct 2011 (dif | hist) . . (+97) . . Theory of Refinements in PVS (edición actual)
- 13:16 4 oct 2011 (dif | hist) . . (+87) . . A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution (edición actual)
- 13:15 4 oct 2011 (dif | hist) . . (+88) . . Verification of the formal concept analysis in PVS (edición actual)
- 13:15 4 oct 2011 (dif | hist) . . (+95) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 13:14 4 oct 2011 (dif | hist) . . (+87) . . A Formalization of Abstract Properties of Confluent Reductions in PVS (edición actual)
- 18:49 30 sep 2011 (dif | hist) . . (+88) . . A formally verified prover for the ALC description logic (in PVS) (edición actual)
- 12:14 7 oct 2010 (dif | hist) . . (+137) . . Theory of Refinements in PVS
- 12:14 7 oct 2010 (dif | hist) . . (+127) . . A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution
- 12:13 7 oct 2010 (dif | hist) . . (+128) . . Verification of the formal concept analysis in PVS
- 12:12 7 oct 2010 (dif | hist) . . (+128) . . A formally verified prover for the ALC description logic (in PVS)
- 12:11 7 oct 2010 (dif | hist) . . (+54) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 12:10 7 oct 2010 (dif | hist) . . (0) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 12:10 7 oct 2010 (dif | hist) . . (+23) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 12:09 7 oct 2010 (dif | hist) . . (+27) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 11:59 7 oct 2010 (dif | hist) . . (-10) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 11:57 7 oct 2010 (dif | hist) . . (-3) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 11:38 7 oct 2010 (dif | hist) . . (-1) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 11:37 7 oct 2010 (dif | hist) . . (+78) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 11:13 7 oct 2010 (dif | hist) . . (+6) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 11:10 7 oct 2010 (dif | hist) . . (-29) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 11:09 7 oct 2010 (dif | hist) . . (+112) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 13:44 7 jul 2010 (dif | hist) . . (+88) . . Theories
- 13:01 15 jun 2010 (dif | hist) . . (+192) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 10:17 11 jun 2010 (dif | hist) . . (+43) . . Seminario del Grupo de Lógica Computacional (→Seminario del 18 de Junio de 2010)
- 14:29 10 jun 2010 (dif | hist) . . (-1) . . Seminario del Grupo de Lógica Computacional (→Seminario del 18 de Junio de 2010)
- 14:28 10 jun 2010 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→Seminario del 18 de Junio de 2010)
- 14:27 10 jun 2010 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional
- 14:27 10 jun 2010 (dif | hist) . . (+1911) . . Seminario del Grupo de Lógica Computacional
- 14:28 2 jun 2010 (dif | hist) . . (+40) . . A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution
- 14:27 2 jun 2010 (dif | hist) . . (+50) . . Theory of Refinements in PVS
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).