Toggle navigation
Labra's home page
Home
Publications
Posts
Projects
Teaching
Talks
Other
Contact
Page not found
Maybe you were looking for one of these?
Recent Posts
El arte de la tesis doctoral
Datanomics
Científico en España
El arte y la ciencia de no hacer nada
Home page revamped
First post
Posts
Recent Publications
Mailing lists meet the semantic web
Searching over Public Administration Legal Documents Using Ontologies
Utilización de herramientas colaborativas de desarrollo de software libre en un modelo de aprendizaje basado en proyectos
A monadic program slicer
A Formal Method for program Slicing
Representaciones gráficas y Mundos Virtuales infinitos en las Prácticas de Programación Lógica y Funcional
¿Hay Lógica en la situación actual de las titulaciones informáticas?
Web Engineering
A Generic e-Learning Multiparadigm Programming Language System: IDEFIX Project
Specification of Logic Programming Languages from Reusable Semantic Building Blocks
Plataforma de enseñanza de lenguajes de programación a través de Internet: Proyecto IDEFIX
Modular development of Language Processors from Reusable Semantic Specifications
Programación Práctica en Prolog
Ejercicios de lógica informática
Lógica proposicional para informática
An Implementation of Modular Monadic Semantics using Folds and Monadic Folds
Harmony: a functional system for musical composition
Introducción al lenguaje Haskell
Lógica de predicados de primer orden
Simulación Entorno Operativo Unix