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 99  
    Select a publication
    Show Title Venue Rating Date
    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
    Journal article
    Germán Vidal.
    Symbolic execution as a basis for termination analysis.
    Sci. Comput. Program. 2015, Volume 102 (0) 2015
    Conference paper
    Naoki Nishida 0001, Germán Vidal.
    A framework for computing finite SLD trees.
    J. Log. Algebr. Meth. Program. 2015, Volume 84 (0) 2015
    Conference paper
    Adrián Palacios, Germán Vidal.
    Towards Modelling Actor-Based Concurrency in Term Rewriting.
    2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE 2015, July 2, 2015, Warsaw, Poland 2015 (0) 2015
    Conference paper
    José Iborra, Naoki Nishida 0001, Germán Vidal, Akihisa Yamada.
    Reducing Relative Termination to Dependency Pair Problems.
    Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings 2015 (0) 2015
    Journal article
    Frédéric Mesnard, Étienne Payet, Germán Vidal.
    Concolic Testing in Logic Programming.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Frédéric Mesnard, Étienne Payet, Germán Vidal.
    Concolic testing in logic programming.
    TPLP 2015, Volume 15 (0) 2015
    Conference paper
    Adrián Palacios, Germán Vidal.
    Concolic Execution in Functional Programming by Program Instrumentation.
    Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers 2015 (0) 2015
    Journal article
    Naoki Nishida 0001, Germán Vidal.
    Conversion to tail recursion in term rewriting.
    J. Log. Algebr. Program. 2014, Volume 83 (0) 2014
    Journal article
    Michael Leuschel, Germán Vidal.
    Fast offline partial evaluation of logic programs.
    Inf. Comput. 2014, Volume 235 (0) 2014
    Show item 1 to 10 of 99  

    Your query returned 99 matches in the database.