( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus

, , и . Algebra and Coalgebra in Computer Science, том 3629 из Lecture Notes in Computer Science, стр. 232-246. Springer; Berlin, (2005)

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.

Lutz Schröder

Lutz Schröder

Lutz Schröder

Lutz Schröder

Lutz-Werner Schröder

 

Другие публикации лиц с тем же именем

Modal Logics are Coalgebraic., , , , и . BCS Int. Acad. Conf., стр. 128-140. British Computer Society, (2008)Kleene Monads: Handling Iteration in a Framework of Generic Effects, , и . Algebra and Coalgebra in Computer Science (CALCO 2009), том 5728 из Lecture Notes in Computer Science, стр. 18-33. Springer, (2009)Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus, , и . Algebra and Coalgebra in Computer Science, том 3629 из Lecture Notes in Computer Science, стр. 232-246. Springer; Berlin, (2005)A Generic Complete Dynamic Logic for Reasoning about Purity and Effects, , и . Formal Aspects of Computing, 22 (3-4): 363-384 (2010)Libraries, , и . CASL reference manual, том 2960 из 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, , , и . Journal of Logic and Algebraic Programming, 67 (1-2): 146-197 (2006)Extends (Mossakowski et al. 2003).Harnessing LTL With Freeze Quantification., , и . CoRR, (2020)Reconstructing Arguments from Noisy Text., , , , и . 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)Universal Aspects of Probabilistic Automata., и . Math. Struct. Comput. Sci., 12 (4): 481-512 (2002)