Showing 1 - 11 results of 11 for search 'Lutz Schröder', query time: 0.02s
Refine Results
-
1
Bootstrapping Inductive and Coinductive Types in HasCASL by Lutz Schröder
Published 2008-12-01
Article -
2
-
3
-
4
Generic Modal Cut Elimination Applied to Conditional Logics by Dirk Pattinson, Lutz Schröder
Published 2011-03-01
Article -
5
Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions by Paul Wild, Lutz Schröder
Published 2022-06-01
Article -
6
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence by Thorsten Wißmann, Stefan Milius, Lutz Schröder
Published 2022-11-01
Article -
7
Guarded and Unguarded Iteration for Generalized Processes by Sergey Goncharov, Lutz Schröder, Christoph Rauch, Maciej Piróg
Published 2019-07-01
Article -
8
Model Theory and Proof Theory of Coalgebraic Predicate Logic by Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder
Published 2018-03-01
Article -
9
Efficient and Modular Coalgebraic Partition Refinement by Thorsten Wißmann, Ulrich Dorsch, Stefan Milius, Lutz Schröder
Published 2020-01-01
Article -
10
Unguarded Recursion on Coinductive Resumptions by Sergey Goncharov, Lutz Schröder, Christoph Rauch, Julian Jakob
Published 2018-08-01
Article -
11
Exploring the Boundaries of Monad Tensorability on Set by Nathan Bowler, Sergey Goncharov, Paul Blain Levy, Lutz Schröder
Published 2013-09-01
Article