Contribuciones del usuario
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 10:38 7 oct 2010 (dif | hist) . . (-1) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 10:37 7 oct 2010 (dif | hist) . . (+78) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 10:13 7 oct 2010 (dif | hist) . . (+6) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 10:10 7 oct 2010 (dif | hist) . . (-29) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 10:09 7 oct 2010 (dif | hist) . . (+112) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 12:44 7 jul 2010 (dif | hist) . . (+88) . . Theories
- 12:01 15 jun 2010 (dif | hist) . . (+192) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 09:17 11 jun 2010 (dif | hist) . . (+43) . . Seminario del Grupo de Lógica Computacional (→Seminario del 18 de Junio de 2010)
- 13:29 10 jun 2010 (dif | hist) . . (-1) . . Seminario del Grupo de Lógica Computacional (→Seminario del 18 de Junio de 2010)
- 13:28 10 jun 2010 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional (→Seminario del 18 de Junio de 2010)
- 13:27 10 jun 2010 (dif | hist) . . (0) . . Seminario del Grupo de Lógica Computacional
- 13:27 10 jun 2010 (dif | hist) . . (+1911) . . Seminario del Grupo de Lógica Computacional
- 13:28 2 jun 2010 (dif | hist) . . (+40) . . A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution
- 13:27 2 jun 2010 (dif | hist) . . (+50) . . Theory of Refinements in PVS
- 13:24 2 jun 2010 (dif | hist) . . (0) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 13:12 2 jun 2010 (dif | hist) . . (+41) . . Verification of the formal concept analysis in PVS
- 13:11 2 jun 2010 (dif | hist) . . (+45) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 13:11 2 jun 2010 (dif | hist) . . (+41) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 13:04 2 jun 2010 (dif | hist) . . (+41) . . A formally verified prover for the ALC description logic (in PVS)
- 11:30 2 jun 2010 (dif | hist) . . (-1) . . A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution
- 11:26 2 jun 2010 (dif | hist) . . (-1) . . A formally verified prover for the ALC description logic (in PVS)
- 11:25 2 jun 2010 (dif | hist) . . (-41) . . A formally verified prover for the ALC description logic (in PVS)
- 11:24 2 jun 2010 (dif | hist) . . (-1) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 10:50 2 jun 2010 (dif | hist) . . (+1817) . . N A formally verified prover for the ALC description logic (in PVS) (New page: {| border="1" | '''Title:''' | A formally verified prover for the ALC description logic. |- | '''Authors:''' | {{jalonso}}, {{mjoseh}}, {{fmartin}} and {{jruiz}}. |- | '''Date:''' | 200...)
- 10:50 2 jun 2010 (dif | hist) . . (+9) . . Theories
- 10:39 2 jun 2010 (dif | hist) . . (+718) . . N Theory of Refinements in PVS (New page: {| border="1" | '''Title:''' | Theory of refinements in PVS. |- | '''Authors:''' | {{jalonso}} and {{mjoseh}}. |- | '''Date:''' | 2002. |- | '''Description:''' | Based on the notion of...)
- 10:39 2 jun 2010 (dif | hist) . . (+17) . . Theories
- 10:38 2 jun 2010 (dif | hist) . . (-26) . . Theories
- 10:36 2 jun 2010 (dif | hist) . . (+9) . . Theories
- 10:35 2 jun 2010 (dif | hist) . . (+17) . . Theories
- 10:34 2 jun 2010 (dif | hist) . . (+26) . . Refinements (edición actual)
- 10:33 2 jun 2010 (dif | hist) . . (+281) . . Refinements
- 10:31 2 jun 2010 (dif | hist) . . (+247) . . A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution
- 10:21 2 jun 2010 (dif | hist) . . (+679) . . A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution
- 10:17 2 jun 2010 (dif | hist) . . (+2) . . Verification of the formal concept analysis in PVS
- 10:16 2 jun 2010 (dif | hist) . . (+180) . . Verification of the formal concept analysis in PVS
- 10:11 2 jun 2010 (dif | hist) . . (-174) . . Verification of the formal concept analysis in PVS
- 10:10 2 jun 2010 (dif | hist) . . (+22) . . A formally verified prover for the ALC description logic in PVS
- 10:05 2 jun 2010 (dif | hist) . . (+314) . . A formally verified prover for the ALC description logic in PVS
- 10:02 2 jun 2010 (dif | hist) . . (+228) . . A formally verified prover for the ALC description logic in PVS
- 09:57 2 jun 2010 (dif | hist) . . (+18) . . A formally verified prover for the ALC description logic in PVS
- 09:55 2 jun 2010 (dif | hist) . . (+756) . . A formally verified prover for the ALC description logic in PVS
- 09:52 2 jun 2010 (dif | hist) . . (+68) . . A formally verified prover for the ALC description logic in PVS
- 09:51 2 jun 2010 (dif | hist) . . (+228) . . Refinements
- 09:50 2 jun 2010 (dif | hist) . . (+228) . . A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution
- 09:50 2 jun 2010 (dif | hist) . . (+413) . . Verification of the formal concept analysis in PVS
- 09:49 2 jun 2010 (dif | hist) . . (+411) . . N A formally verified prover for the ALC description logic in PVS (New page: {| border="1" | '''Title:''' | |- | '''Authors:''' | {{jalonso}}, {{mjoseh}} and {{fmartin}}. |- | '''Date:''' | |- | '''Description:''' | |- | '''Code:''' | You can find the PVS t...)
- 09:47 2 jun 2010 (dif | hist) . . (-59) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 09:46 2 jun 2010 (dif | hist) . . (+2) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 09:46 2 jun 2010 (dif | hist) . . (+178) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).