Páginas que enlazan con «Plantilla:Jalonso»
Las siguientes páginas enlazan a Plantilla:Jalonso:
Ver (previas 50 | siguientes 50) (20 | 50 | 100 | 250 | 500).- Publications (inclusión) (← enlaces)
- Seminario del Grupo de Lógica Computacional (inclusión) (← enlaces)
- Seminarios anteriores (inclusión) (← enlaces)
- APLI2S (APLIcaciones de Ayuda Para Lógica Informática) (inclusión) (← enlaces)
- Verificación de sistemas SAT (inclusión) (← enlaces)
- A Formalization of Abstract Properties of Confluent Reductions in PVS (inclusión) (← enlaces)
- PROTEMO (inclusión) (← enlaces)
- Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO) (inclusión) (← enlaces)
- A formally verified prover for the ALC description logic (or Constructing formally verified reasoners for the ALC description logic) (inclusión) (← enlaces)
- Verification of the formal concept analysis in PVS (inclusión) (← enlaces)
- A formally verified proof in PVS of the strong completeness theorem of propositional SLD-resolution (inclusión) (← enlaces)
- Refinements (inclusión) (← enlaces)
- A formally verified prover for the ALC description logic in PVS (inclusión) (← enlaces)
- Theory of Refinements in PVS (inclusión) (← enlaces)
- A formally verified prover for the ALC description logic (in PVS) (inclusión) (← enlaces)
- Seminario de Lógica y Computación (inclusión) (← enlaces)
