( en | de | ru )

 

Disambiguation of "Schröder, Lutz"

Author of the publication

copydeleteadd this publication to your clipboard
HasCASL: Integrated Higher-Order Specification and Program Development

, and . Theoretical Computer Science, 410 (12-13): 1217-1260 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Lutz Schröder

Lutz Schröder

Lutz Schröder

Lutz Schröder

Lutz-Werner Schröder

 

Other publications of authors with the same name

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