( en | de | ru )

 

Disambiguierung von "Vidal, Germán"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reversible Term Rewriting.

, , und . FSCD, Volume 52 von LIPIcs, Seite 28:1-28:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Germán Errázuriz

Germán Posada

Germán Berone

Germán Spangenberg

Angéla Germán

 

Weitere Publikationen von Autoren mit dem selben Namen

Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation., , und . WFLP, Volume 5979 von Lecture Notes in Computer Science, Seite 111-127. Springer, (2009)Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs., , , und . LOPSTR, Volume 10184 von Lecture Notes in Computer Science, Seite 131-147. Springer, (2016)A Reversible Semantics for Erlang., , und . LOPSTR, Volume 10184 von Lecture Notes in Computer Science, Seite 259-274. Springer, (2016)A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs.. LOPSTR, Volume 6564 von Lecture Notes in Computer Science, Seite 200-214. Springer, (2010)Preface for SCP special issue on Principles and Practice of Declarative Programming.. Sci. Comput. Program., (2018)Quasi-terminating logic programs for ensuring the termination of partial evaluation.. PEPM, Seite 51-60. ACM, (2007)Towards Symbolic Execution in Erlang.. Ershov Memorial Conference, Volume 8974 von Lecture Notes in Computer Science, Seite 351-360. Springer, (2014)Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs., , und . Fundam. Informaticae, 178 (3): 229-266 (2021)Conversion to tail recursion in term rewriting., und . J. Log. Algebraic Methods Program., 83 (1): 53-63 (2014)Preface., und . Theor. Comput. Sci., (2012)