Embedded Intelligence

Page 1 of 1.

1. Sergey Goncharov; Lutz Schröder

   Powermonads and Tensors of Unranked Effects

   In: Martin Grohe (Hrsg.). Proceedings of the 26th Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE. IEEE Symposium on Logic in Computer Science …

2. Till Mossakowski; Lutz Schröder; Sergey Goncharov

   A Generic Complete Dynamic Logic for Reasoning about Purity and Effects

   In: Formal Aspects of Computing (FAC), Vol. 22, No. 3-4, Pages 363-384, Springer, Berlin, 5/2010.

3. Sergey Goncharov; Lutz Schröder; Till Mossakowski

   Kleene Monads: Handling Iteration in a Framework of Generic Effects

   In: Alexander Kurz; Andrzej Tarlecki (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …

4. Till Mossakowski; Lutz Schröder; Sergey Goncharov

   A generic complete dynamic logic for reasoning about purity and effects

   In: J. Fiadeiro; P. Inverardi (Hrsg.). Fundamental Approaches to Software Engineering. Fundamental Approaches to Software Engineering (FASE-08), …

5. Sergey Goncharov; Lutz Schröder; Till Mossakowski

   Completeness of Global Evaluation Logic

   In: Rastislav Kralovic; Pawel Urzyczyn (Hrsg.). Mathematical Foundations of Computer Science. International Symposium on Mathematical Foundations of …

• 1