( en | de | ru )

 

Disambiguierung von "Antoy, Sergio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Compiling Multi-Paradigm Declarative Programs into Prolog.

, und . FroCoS, Volume 1794 von Lecture Notes in Computer Science, Seite 171-185. Springer, (2000)

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.

Sergio Dellavalle

Sergio Moccia

Sergio Scognamillo

Sérgio Campos

Sergio Greco

 

Weitere Publikationen von Autoren mit dem selben Namen

A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation., , und . WFLP, Seite 120-127. (2000)Demandness in Rewriting and Narrowing., und . WFLP, Volume 76 von Electronic Notes in Theoretical Computer Science, Seite 42-51. Elsevier, (2002)Towards GKS Binding to PASCAL., und . Eurographics, North-Holland / Eurographics Association, (1983)A Sequential Reduction Strategy., und . ALP, Volume 850 von Lecture Notes in Computer Science, Seite 168-185. Springer, (1994)Definitional Trees.. ALP, Volume 632 von Lecture Notes in Computer Science, Seite 143-157. Springer, (1992)A New Functional-Logic Compiler for Curry: Sprite., und . LOPSTR, Volume 10184 von Lecture Notes in Computer Science, Seite 97-113. Springer, (2016)Compiling Collapsing Rules in Certain Constructor Systems., und . LOPSTR, Volume 9527 von Lecture Notes in Computer Science, Seite 57-72. Springer, (2015)Using Term Rewriting to Verify Software., und . IEEE Trans. Software Eng., 20 (4): 259-274 (1994)Evaluation strategies for functional logic programming.. J. Symb. Comput., 40 (1): 875-903 (2005)Preface.. WRS@FLoC, Volume 174 von Electronic Notes in Theoretical Computer Science, Seite 1-2. Elsevier, (2006)