Lenguajes y Sistemas Informáticos
Departamento
Universidad Complutense de Madrid
Madrid, EspañaPublicaciones en colaboración con investigadoras/es de Universidad Complutense de Madrid (9)
2024
2020
-
Students' selection of teamwork tools in software engineering education: Lessons learned
International Journal of Engineering Education, Vol. 36, Núm. 1 B, pp. 309-316
2019
-
Value chains of road freight transport operations: An agent-based modelling proposal
Procedia Computer Science
2011
-
Negative results on learning multivalued dependencies with queries
Information Processing Letters, Vol. 111, Núm. 19, pp. 968-972
2010
-
A complete axiomatization of strict equality
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006
1999
-
Learning minimal covers of functional dependencies with queries
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1990
-
A first order logic for partial functions
Theoretical Computer Science, Vol. 74, Núm. 1, pp. 37-69
1988
-
Some general incompleteness results for partial correctness logics
Information and Computation, Vol. 79, Núm. 1, pp. 22-42