MIGUEL
PALOMINO TARJUELO
Profesor titular de universidad
Publicacións (42) Publicacións de MIGUEL PALOMINO TARJUELO
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)
-
On the specification of modal systems: A comparison of three frameworks
Science of Computer Programming
-
Unifying the linear time-branching time spectrum of strong process semantics
Logical Methods in Computer Science, Vol. 9, Núm. 2
2012
-
Relating modal refinements, covariant-contravariant simulations and partial bisimulations
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Rewriting logic bibliography by topic: 1990-2011
Journal of Logic and Algebraic Programming
2011
-
Graphical representation of covariant-contravariant modal formulae
Electronic Proceedings in Theoretical Computer Science, EPTCS
-
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
-
Equational characterization of covariant-contravariant simulation and conformance simulation semantics
Electronic Proceedings in Theoretical Computer Science, EPTCS
-
Logics for contravariant simulations
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009
-
Non-strongly stable orders also define interesting simulation relations
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
On the Unification of Process Semantics: Equational Semantics
Electronic Notes in Theoretical Computer Science, Vol. 249, pp. 243-267
-
On the unification of process semantics: Observational semantics
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Ready to preorder: an algebraic and general proof
Journal of Logic and Algebraic Programming, Vol. 78, Núm. 7, pp. 539-551
-
Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude
INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE 2008