Instituto de Tecnología del Conocimiento (ITC)
Centro/Instituto
MIGUEL
PALOMINO TARJUELO
Profesor titular de universidad
Publicaciones en las que colabora con MIGUEL PALOMINO TARJUELO (19)
2023
-
Strategies in Conditional Narrowing Modulo SMT Plus Axioms
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 1-20
2018
-
Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
Journal of Automated Reasoning, Vol. 60, Núm. 4, pp. 421-463
2017
-
Conditional narrowing modulo SMT and axioms
ACM International Conference Proceeding Series
2015
-
Sentence-normalized conditional narrowing modulo in rewriting logic and Maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014
-
Conditional narrowing modulo in rewriting logic and maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8663, pp. 80-96
2013
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012
-
Rewriting logic bibliography by topic: 1990-2011
Journal of Logic and Algebraic Programming
2011
-
Parameterized metareasoning in membership equational logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010
-
Algebraic simulations
Journal of Logic and Algebraic Programming, Vol. 79, Núm. 2, pp. 103-143
2008
-
Algebraic Stuttering Simulations
Electronic Notes in Theoretical Computer Science, Vol. 206, Núm. C, pp. 91-110
-
Equational abstractions
Theoretical Computer Science, Vol. 403, Núm. 2-3, pp. 239-264
2007
-
Strategies and simulations in a semantic framework
Journal of Algorithms, Vol. 62, Núm. 3-4, pp. 95-116
2006
-
Introducción a la computación
Grupo Anaya
2005
-
A categorical approach to simulations
Lecture Notes in Computer Science
-
A tutorial on specifying data structures in Maude
Electronic Notes in Theoretical Computer Science
-
Playing with Maude
Electronic Notes in Theoretical Computer Science
-
Theoroidal maps as algebraic simulations
Lecture Notes in Computer Science
2004
-
Formalizing and proving semantic relations between specifications by reflection
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3116, pp. 72-86
2003
-
Equational abstractions
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)