( en | de | ru )

 

Disambiguierung von "Hanus, Michael"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Deterministic Operational Semantics for Functional Logic Programs.

, , , , und . APPIA-GULP-PRODE, Seite 207-. Facultad de Informática, Universidad Politécnica de Madrid, (2002)

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.

Michael Hanus

Josef Hanus

Anna Hanus

Zdenek Hanus

Daniel Hanus

 

Weitere Publikationen von Autoren mit dem selben Namen

PACS: The Portland Aachen Curry System.. WLP, Volume 90 von GMD Report, Seite 219-221. (2000)Improving Logic Programs by Adding Functions.. LOPSTR, Volume 14919 von Lecture Notes in Computer Science, Seite 27-44. Springer, (2024)Inferring Non-Failure Conditions for Declarative Programs.. CoRR, (2024)TkCurry: A Declarative Approach to GUI Programming.. WLP, Volume 90 von GMD Report, Seite 149-160. (2000)A Deterministic Operational Semantics for Functional Logic Programs., , , , und . APPIA-GULP-PRODE, Seite 207-. Facultad de Informática, Universidad Politécnica de Madrid, (2002)A Monadic Implementation of Functional Logic Programs., , und . PPDP, Seite 1:1-1:15. ACM, (2022)Adding Data to Curry., und . DECLARE, Volume 12057 von Lecture Notes in Computer Science, Seite 230-246. Springer, (2019)Improving Residuation in Declarative Programs.. PADL, Volume 11372 von Lecture Notes in Computer Science, Seite 82-97. Springer, (2019)Lazy Unification with Inductive Simplification.. WLP, Seite 42-46. (1993)Lightweight Declarative Server-Side Web Programming.. PADL, Volume 12548 von Lecture Notes in Computer Science, Seite 107-123. Springer, (2021)