Publikationen, an denen er mitarbeitet MIGUEL PALOMINO TARJUELO (19)

2023

  1. 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

  1. Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude

    Journal of Automated Reasoning, Vol. 60, Núm. 4, pp. 421-463

2017

  1. Conditional narrowing modulo SMT and axioms

    ACM International Conference Proceeding Series

2015

  1. 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

  1. 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

  1. 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

  1. Rewriting logic bibliography by topic: 1990-2011

    Journal of Logic and Algebraic Programming

2011

  1. Parameterized metareasoning in membership equational logic

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2010

  1. Algebraic simulations

    Journal of Logic and Algebraic Programming, Vol. 79, Núm. 2, pp. 103-143

2008

  1. Algebraic Stuttering Simulations

    Electronic Notes in Theoretical Computer Science, Vol. 206, Núm. C, pp. 91-110

  2. Equational abstractions

    Theoretical Computer Science, Vol. 403, Núm. 2-3, pp. 239-264

2007

  1. Strategies and simulations in a semantic framework

    Journal of Algorithms, Vol. 62, Núm. 3-4, pp. 95-116

2005

  1. A categorical approach to simulations

    Lecture Notes in Computer Science

  2. A tutorial on specifying data structures in Maude

    Electronic Notes in Theoretical Computer Science

  3. Playing with Maude

    Electronic Notes in Theoretical Computer Science

  4. Theoroidal maps as algebraic simulations

    Lecture Notes in Computer Science

2004

  1. 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

  1. Equational abstractions

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)