Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Germán
    Last name: Vidal
    DBLP: v/GermanVidal
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 109  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Naoki Nishida 0001, Adrián Palacios, Germán Vidal.
    Reversible computation in term rewriting.
    J. Log. Algebr. Meth. Program. 2018, Volume 94 (0) 2018
    Conference paper
    José Iborra, Naoki Nishida 0001, Germán Vidal, Akihisa Yamada 0002.
    Relative Termination via Dependency Pairs.
    J. Autom. Reasoning 2017, Volume 58 (0) 2017
    Journal article
    Naoki Nishida 0001, Adrián Palacios, Germán Vidal.
    Reversible Computation in Term Rewriting.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Frédéric Mesnard, Étienne Payet, Germán Vidal.
    Selective unification in constraint logic programming.
    Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017 2017 (0) 2017
    Conference paper
    Naoki Nishida 0001, Adrián Palacios, Germán Vidal.
    Reversible Term Rewriting.
    1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal 2016 (0) 2016
    Conference paper
    Frédéric Mesnard, Étienne Payet, Germán Vidal.
    On the Completeness of Selective Unification in Concolic Testing of Logic Programs.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Naoki Nishida 0001, Adrián Palacios, Germán Vidal.
    Towards Reversible Computation in Erlang.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Ginés Moreno, Jaime Penabad, Germán Vidal.
    Tuning Fuzzy Logic Programs with Symbolic Execution.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Frédéric Mesnard, Étienne Payet, Germán Vidal.
    On the Completeness of Selective Unification in Concolic Testing of Logic Programs.
    Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers 2017 (0) 2016
    Conference paper
    Naoki Nishida 0001, Adrián Palacios, Germán Vidal.
    A Reversible Semantics for Erlang.
    Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers 2017 (0) 2016
    Show item 1 to 10 of 109  

    Your query returned 109 matches in the database.