( en | de | ru )

 

Disambiguierung von "Vidal, Germán"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using Narrowing Approximations to Optimize Equational Logic Programs.

, , , und . GULP, Seite 127-142. (1993)

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

Germán Spangenberg

Angéla Germán

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Quasi-terminating logic programs for ensuring the termination of partial evaluation.. PEPM, Seite 51-60. ACM, (2007)Preface for SCP special issue on Principles and Practice of Declarative Programming.. Sci. Comput. Program., (2018)Towards Symbolic Execution in Erlang.. Ershov Memorial Conference, Volume 8974 von Lecture Notes in Computer Science, Seite 351-360. Springer, (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)Conversion to tail recursion in term rewriting., und . J. Log. Algebraic Methods Program., 83 (1): 53-63 (2014)Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs., , und . Fundam. Informaticae, 178 (3): 229-266 (2021)Uniform Lazy Narrowing., , , und . J. Log. Comput., 13 (2): 287-312 (2003)