Autor der Publikation

Rewriting Logic and Probabilities.

, und . RTA, Volume 2706 von Lecture Notes in Computer Science, Seite 61-75. Springer, (2003)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Information Carried by Programs About the Objects they Compute., und . Theory Comput. Syst., 61 (4): 1214-1236 (2017)Irreversible computable functions.. STACS, Volume 25 von LIPIcs, Seite 362-373. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)Computability on Quasi-Polish Spaces., , , und . DCFS, Volume 11612 von Lecture Notes in Computer Science, Seite 171-183. Springer, (2019)The dimension of ergodic random sequences.. STACS, Volume 14 von LIPIcs, Seite 567-576. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Semicomputable Geometry., , und . ICALP, Volume 107 von LIPIcs, Seite 129:1-129:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Notes on overt choice.. Comput., 12 (4): 351-369 (2023)Computability of Finite Simplicial Complexes., und . ICALP, Volume 229 von LIPIcs, Seite 111:1-111:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Descriptive Complexity on Non-Polish Spaces II.. ICALP, Volume 168 von LIPIcs, Seite 132:1-132:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)The Typical Constructible Object.. CiE, Volume 9709 von Lecture Notes in Computer Science, Seite 115-123. Springer, (2016)The Decidable Properties of Subrecursive Functions.. ICALP, Volume 55 von LIPIcs, Seite 108:1-108:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)