Autor der Publikation

Generic exception handling and the Java monad

, und . Algebraic Methodology and Software Technology, Volume 3116 von Lecture Notes in Computer Science, Seite 443--459. Springer; Berlin; http://www.springer.de, (2004)

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

Nominals for Everyone., , und . IJCAI, Seite 917-922. (2009)The craft of model making: PSPACE bounds for non-iterative modal logics, und . CoRR, (2008)Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC., , und . IJCAI, Seite 962-968. IJCAI/AAAI, (2013)Generic Partition Refinement and Weighted Tree Automata., , , und . FM, Volume 11800 von Lecture Notes in Computer Science, Seite 280-297. Springer, (2019)The Logic of the Partial lambda-Calculus with Equality.. CSL, Volume 3210 von Lecture Notes in Computer Science, Seite 385-399. Springer, (2004)Simulations and Bisimulations for Coalgebraic Modal Logics., und . CALCO, Volume 8089 von Lecture Notes in Computer Science, Seite 253-266. Springer, (2013)Kantorovich Functors and Characteristic Logics for Behavioural Distances., , , , und . FoSSaCS, Volume 13992 von Lecture Notes in Computer Science, Seite 46-67. Springer, (2023)Coalgebraic Correspondence Theory., und . FoSSaCS, Volume 6014 von Lecture Notes in Computer Science, Seite 328-342. Springer, (2010)A Categorical Perspective on Qualitative Constraint Calculi, , und . Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006, Seite 28--39. (2006)CoCASL at work --- Modelling Process Algebra, , und . Coalgebraic Methods in Computer Science, Volume 82 von Electronic Notes in Theoretical Computer Science, Elsevier Science; http://www.elsevier.nl/, (2003)