Contribuciones del usuario
- 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
- 14:24 2 jun 2010 (dif | hist) . . (0) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 14:12 2 jun 2010 (dif | hist) . . (+41) . . Verification of the formal concept analysis in PVS
- 14:11 2 jun 2010 (dif | hist) . . (+45) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 14:11 2 jun 2010 (dif | hist) . . (+41) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 14:04 2 jun 2010 (dif | hist) . . (+41) . . A formally verified prover for the ALC description logic (in PVS)
- 12:30 2 jun 2010 (dif | hist) . . (-1) . . A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution
- 12:26 2 jun 2010 (dif | hist) . . (-1) . . A formally verified prover for the ALC description logic (in PVS)
- 12:25 2 jun 2010 (dif | hist) . . (-41) . . A formally verified prover for the ALC description logic (in PVS)
- 12:24 2 jun 2010 (dif | hist) . . (-1) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 11: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...)
- 11:50 2 jun 2010 (dif | hist) . . (+9) . . Theories
- 11: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...)
- 11:39 2 jun 2010 (dif | hist) . . (+17) . . Theories
- 11:38 2 jun 2010 (dif | hist) . . (-26) . . Theories
- 11:36 2 jun 2010 (dif | hist) . . (+9) . . Theories
- 11:35 2 jun 2010 (dif | hist) . . (+17) . . Theories
- 11:34 2 jun 2010 (dif | hist) . . (+26) . . Refinements (edición actual)
- 11:33 2 jun 2010 (dif | hist) . . (+281) . . Refinements
- 11:31 2 jun 2010 (dif | hist) . . (+247) . . A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution
- 11:21 2 jun 2010 (dif | hist) . . (+679) . . A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution
- 11:17 2 jun 2010 (dif | hist) . . (+2) . . Verification of the formal concept analysis in PVS
- 11:16 2 jun 2010 (dif | hist) . . (+180) . . Verification of the formal concept analysis in PVS
- 11:11 2 jun 2010 (dif | hist) . . (-174) . . Verification of the formal concept analysis in PVS
- 11:10 2 jun 2010 (dif | hist) . . (+22) . . A formally verified prover for the ALC description logic in PVS
- 11:05 2 jun 2010 (dif | hist) . . (+314) . . A formally verified prover for the ALC description logic in PVS
- 11:02 2 jun 2010 (dif | hist) . . (+228) . . A formally verified prover for the ALC description logic in PVS
- 10:57 2 jun 2010 (dif | hist) . . (+18) . . A formally verified prover for the ALC description logic in PVS
- 10:55 2 jun 2010 (dif | hist) . . (+756) . . A formally verified prover for the ALC description logic in PVS
- 10:52 2 jun 2010 (dif | hist) . . (+68) . . A formally verified prover for the ALC description logic in PVS
- 10:51 2 jun 2010 (dif | hist) . . (+228) . . Refinements
- 10:50 2 jun 2010 (dif | hist) . . (+228) . . A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution
- 10:50 2 jun 2010 (dif | hist) . . (+413) . . Verification of the formal concept analysis in PVS
- 10: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...)
- 10:47 2 jun 2010 (dif | hist) . . (-59) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 10:46 2 jun 2010 (dif | hist) . . (+2) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 10:46 2 jun 2010 (dif | hist) . . (+178) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 10:41 2 jun 2010 (dif | hist) . . (-3) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 10:41 2 jun 2010 (dif | hist) . . (+20) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 10:39 2 jun 2010 (dif | hist) . . (+11) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 10:38 2 jun 2010 (dif | hist) . . (-17) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 10:36 2 jun 2010 (dif | hist) . . (+14) . . Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO)
- 20:27 1 jun 2010 (dif | hist) . . (+43) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 20:26 1 jun 2010 (dif | hist) . . (+18) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 20:25 1 jun 2010 (dif | hist) . . (+4) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 20:25 1 jun 2010 (dif | hist) . . (+176) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 20:18 1 jun 2010 (dif | hist) . . (-1) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 20:12 1 jun 2010 (dif | hist) . . (-617) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 19:53 1 jun 2010 (dif | hist) . . (+55) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 19:51 1 jun 2010 (dif | hist) . . (-80) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 19:51 1 jun 2010 (dif | hist) . . (-15) . . A Formalization of Abstract Properties of Confluent Reductions in PVS
- 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)