( en | de | ru )

 

Disambiguierung von "Lago, Ugo Dal"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Planning with a Language for Extended Goals.

, , und . AAAI/IAAI, Seite 447-454. AAAI Press / The MIT Press, (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.

Karl Dal Lago

Alexandre Lago

Ugo Marchand

Ugo Gentile

Ugo Merkli

 

Weitere Publikationen von Autoren mit dem selben Namen

(Leftmost-Outermost) Beta Reduction is Invariant, Indeed., und . Logical Methods in Computer Science, (2016)An Invariant Cost Model for the Lambda Calculus., und . CiE, Volume 3988 von Lecture Notes in Computer Science, Seite 105-114. Springer, (2006)A Log-Sensitive Encoding of Turing Machines in the λ-Calculus., , und . CoRR, (2023)On Higher-Order Cryptography (Long Version)., , und . CoRR, (2020)Quantitative Game Semantics for Linear Logic., und . CSL, Volume 5213 von Lecture Notes in Computer Science, Seite 230-245. Springer, (2008)A Short Introduction to Implicit Computational Complexity.. ESSLLI, Volume 7388 von Lecture Notes in Computer Science, Seite 89-109. Springer, (2011)On the Lattice of Program Metrics., , und . FSCD, Volume 260 von LIPIcs, Seite 20:1-20:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Programs., und . FSCD, Volume 195 von LIPIcs, Seite 23:1-23:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages., und . CoRR, (2024)On the Equivalence of Automaton-Based Representations of Time Granularities., , und . TIME, Seite 82-93. IEEE Computer Society, (2007)