Conference papers (6)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

in the year 2018 Remove filter
filter_list Type (aggr.) Conference papers from 2018 to 2018 Computational Theory and Mathematics

2018

  1. Associative unification and symbolic reasoning modulo associativity in maude

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

  2. Computing the parallelism degree of timed BPMN processes

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

  3. Extracting interval temporal logic rules: A first approach

    Leibniz International Proceedings in Informatics, LIPIcs

  4. Proving ground confluence of equational specifications modulo axioms

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

  5. Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT

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

  6. Towards simplification logic for graded attribute implications with general semantics

    CEUR Workshop Proceedings