Skip to main content Skip to main navigation


Page 2 of 6.

  1. Lutz Schröder; Dirk Pattinson; Daniel Hausmann

    Optimal Tableaux for Conditional Logics with Cautious Monotonicity

    In: Michael Wooldridge (Hrsg.). Proceedings of the 19th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence …

  2. Lutz Schröder; Yde Venema

    Flat coalgebraic fixed point logics

    In: Paul Gastin; François Laroussinie (Hrsg.). Proceedings of the 21st International Conference on Concurrency Theory. International Conference on …

  3. Serge Autexier; Jacques Calmet; David Delahaye; Patrick D. F. Ion; Laurence Rideau; Renaud Rioboo; Alan P. Sexton (Hrsg.)

    Intelligent Computer Mathematics 2010 (CICM 2010)

    Conferences on Intelligent Computer Mathematics (CICM-10), 10th International Conference AISC 2010, 17th Symposium Calculemus 2010 and 9th …

  4. Serge Autexier; Dominik Dietrich

    A Tactic Language for Declarative Proofs

    In: Matt Kaufmann; Lawrence C. Paulson (Hrsg.). Proceedings International Conference on Interactive Theorem Proving. International Conference on …

  5. 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.

  6. Daniel Hausmann; Lutz Schröder

    Optimizing Conditional Logic Reasoning within CoLoSS

    In: Thomas Bolander; Torben Braüner (Hrsg.). Methods for Modalities (M4M-6, 2009). Methods for Modalities (M4M-6), 6th Workshop on Methods for …

  7. Carsten Lutz; Lutz Schröder

    Probabilistic Description Logics for Subjective Uncertainty

    In: Fangzhen Lin; Ulrike Sattler (Hrsg.). Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning. …

  8. Lutz Schröder; Dirk Pattinson

    Coalgebraic correspondence theory

    In: Luke Ong (Hrsg.). Proceedings of the 13th International Conference on Foundations of Software Science and Computation Structures. International …

  9. Serge Autexier; Petr Sojka; Masakazu Suzuki

    Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge (Foreword)

    In: Journal Mathematics in Computer Science, Vol. 3, No. 3, Pages 225-226, Birkhaeuser, Basle, Switzerland, 3/2010.

  10. David Aspinall; Ewen Denney; Christoph Lüth

    Tactics for Hierarchical Proofs

    In: Mathematics in Computer Science, Vol. 3, Pages 309-330, Birkhäuser, 3/2010.