( en | de | ru )

 

Disambiguierung von "Schröder, Lutz"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Coalgebraic Approach to the Semantics of the Ambient Calculus

, , und . Theoretical Computer Science, 366 (1-2): 121-143 (2006)Extends (Hausmann et al. 2005).

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.

Lutz Schröder

Lutz Schröder

Lutz Schröder

Lutz Schröder

Lutz-Werner Schröder

 

Weitere Publikationen von Autoren mit dem selben Namen

Modal Logics are Coalgebraic., , , , und . BCS Int. Acad. Conf., Seite 128-140. British Computer Society, (2008)Harnessing LTL With Freeze Quantification., , und . CoRR, (2020)A finite model construction for coalgebraic modal logic.. J. Log. Algebraic Methods Program., 73 (1-2): 97-110 (2007)Reconstructing Arguments from Noisy Text., , , , und . Datenbank-Spektrum, 20 (2): 123-129 (2020)Universal Aspects of Probabilistic Automata., und . Math. Struct. Comput. Sci., 12 (4): 481-512 (2002)Graded Monads and Behavioural Equivalence Games., , , , und . LICS, Seite 61:1-61:13. ACM, (2022)A Generic Complete Dynamic Logic for Reasoning about Purity and Effects, , und . Formal Aspects of Computing, 22 (3-4): 363-384 (2010)Kleene Monads: Handling Iteration in a Framework of Generic Effects, , und . Algebra and Coalgebra in Computer Science (CALCO 2009), Volume 5728 von Lecture Notes in Computer Science, Seite 18-33. Springer, (2009)Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus, , und . Algebra and Coalgebra in Computer Science, Volume 3629 von Lecture Notes in Computer Science, Seite 232-246. Springer; Berlin, (2005)Algebraic-co-algebraic specification in CoCASL, , , und . Journal of Logic and Algebraic Programming, 67 (1-2): 146-197 (2006)Extends (Mossakowski et al. 2003).