1–20 of 220 hits

Sort by: Relevancy | Date newest | Title A-Z

  1.  

    Preface to CALCO-Tools

    Schröder, Lutz | Springer Verlag | 2013
  2.  

    Literatur - Besprechungen - Daniel Appel

    Schröder, Lutz | Online Contents | 2013
  3.  

    Fugen und Nähte im Asphaltstraßenbau

    Schröder, Lutz | Tema Archive | 2012
  4.  

    NP Reasoning in the Monotone μ-Calculus

    Hausmann, Daniel / Schröder, Lutz | British Library Conference Proceedings
  5.  

    Non-iterative Modal Logics are Coalgebraic

    Forster, Jonas / Schröder, Lutz | arXiv | 2020
  6.  

    Optimal Satisfiability Checking for Arithmetic $\mu$-Calculi

    Hausmann, Daniel / Schröder, Lutz | arXiv | 2019
  7.  

    Automata Learning: An Algebraic Approach

    Urbat, Henning / Schröder, Lutz | arXiv | 2019
  8.  

    Optimal Satisfiability Checking for Arithmetic μ-Calculi

    Hausmann, Daniel / Schröder, Lutz | British Library Conference Proceedings

Number of results: 10 | 20 | 50

Feedback