Cognitive Assistants

Page 6 of 6.

1. Till Mossakowski; Lutz Schröder; Stefan Wölfl

   A Categorical Perspective on Qualitative Constraint Calculi

   In: Stefan Wölfl; Till Mossakowski (Hrsg.). Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006. Qualitative Constraint …

2. Till Mossakowski; Lutz Schröder; Markus Roggenbach; Horst Reichel

   Algebraic-co-algebraic specification in CoCASL

   In: Journal of Logic and Algebraic Programming (JLAP), Vol. 67, No. 1-2, Pages 146-197, 2006.

3. Lutz Schröder

   The HasCASL Prologue - Categorical Syntax and Semantics of the Partial $lambda$-calculus

   In: Theoretical Computer Science, Vol. 353, Pages 1-25, 2006.

4. Lutz Schröder

   A Finite Model Construction for Coalgebraic Modal Logic

   In: Luca Aceto; Anna Ingólfsdóttir (Hrsg.). Foundations Of Software Science And Computation Structures. International Conference on Foundations of …

5. Lutz Schröder; Dirk Pattinson

   PSPACE Bounds for Rank 1 Modal Logics

   In: Rajeev Alur (Hrsg.). Twenty-First Annual IEEE Symposium on Logic in Computer Science (LICS 2006). IEEE Symposium on Logic in Computer Science …

6. Udo Frese; Lutz Schröder

   Closing a Million-Landmarks Loop

   In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Beijing. IEEE/RSJ International Conference on Intelligent …

7. Dennis Walter; Lutz Schröder; Till Mossakowski

   Parametrized Exceptions

   In: Jose Fiadeiro; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …

8. Daniel Hausmann; Till Mossakowski; Lutz Schröder

   Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus

   In: Jose Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra …

• previous
• 1
• …
• 4
• 5
• 6