| |
Universität Bremen, Germany
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
| 2008 | ||
|---|---|---|
| 2 | EE | Till Mossakowski, Lutz Schröder, Sergey Goncharov: A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. FASE 2008: 199-214 |
| 2006 | ||
| 1 | EE | Sergey Goncharov, Lutz Schröder, Till Mossakowski: Completeness of Global Evaluation Logic. MFCS 2006: 447-458 |
| 1 | Till Mossakowski | [1] [2] |
| 2 | Lutz Schröder | [1] [2] |