Publicacións nas que colabora con MIGUEL PALOMINO TARJUELO (7)

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

2005

  1. Proving VLRL action properties with the Maude model checker

    Electronic Notes in Theoretical Computer Science

  2. Proving modal properties of rewrite theories using Maude's metalevel

    Electronic Notes in Theoretical Computer Science