( en | de | ru )

 

Disambiguierung von "Schröder, Lutz"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics.

, und . Advances in Modal Logic, Seite 254-273. College Publications, (2014)

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

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)Modal Logics are Coalgebraic., , , , und . BCS Int. Acad. Conf., Seite 128-140. British Computer Society, (2008)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)A Generic Complete Dynamic Logic for Reasoning about Purity and Effects, , und . Formal Aspects of Computing, 22 (3-4): 363-384 (2010)Libraries, , und . CASL reference manual, Volume 2960 von Lecture Notes in Computer Science, Springer; Berlin; http://www.springer.de, Early version appeared as CoFI note L-12, http://www.informatik.uni-bremen.de/cofi/old/Notes/L-12/index.html.(2004)Algebraic-co-algebraic specification in CoCASL, , , und . Journal of Logic and Algebraic Programming, 67 (1-2): 146-197 (2006)Extends (Mossakowski et al. 2003).Universal Aspects of Probabilistic Automata., und . Math. Struct. Comput. Sci., 12 (4): 481-512 (2002)