( en | de | ru )

 

Disambiguierung von "Vidal, Germán"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic Profiling for Multi-paradigm Declarative Languages.

, und . LOPSTR, Volume 2372 von Lecture Notes in Computer Science, Seite 148-167. Springer, (2001)

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 Posada

Germán Errázuriz

Germán Berone

Angéla Germán

Germán Spangenberg

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards Symbolic Execution in Erlang.. Ershov Memorial Conference, Volume 8974 von Lecture Notes in Computer Science, Seite 351-360. Springer, (2014)Rules + strategies for transforming lazy functional logic programs., , , und . Theor. Comput. Sci., 311 (1-3): 479-525 (2004)Preface., und . Theor. Comput. Sci., (2012)Uniform Lazy Narrowing., , , und . J. Log. Comput., 13 (2): 287-312 (2003)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)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)