- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 8 |      | Tadeusz Litak, Sven Helmer: On the Termination Problem for Declarative XML Message Processing. DEXA 2009: 83-97 |
| 2007 | ||
| 7 | | Balder ten Cate, Tadeusz Litak: Topological Perspective on the Hybrid Proof Rules. Electr. Notes Theor. Comput. Sci. 174(6): 79-94 (2007) |
| 2006 | ||
| 6 | | Tadeusz Litak: Isomorphism via translation. Advances in Modal Logic 2006: 333-351 |
| 5 | | Tadeusz Litak: Algebraization of Hybrid Logic with Binders. RelMiCS 2006: 281-295 |
| 2005 | ||
| 4 | | Tadeusz Litak, Frank Wolter: All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete. Studia Logica 81(2): 153-165 (2005) |
| 2004 | ||
| 3 | | Tadeusz Litak: On Notions of Completeness Weaker than Kripke Completeness. Advances in Modal Logic 2004: 149-169 |
| 2 | | Tadeusz Litak: Modal Incompleteness Revisited. Studia Logica 76(3): 329-342 (2004) |
| 2002 | ||
| 1 | | Tadeusz Litak: A Continuum of Incomplete Intermediate Logics. Reports on Mathematical Logic 36: 131-141 (2002) |
| 1 | Balder ten Cate | [7] |
| 2 | Sven Helmer | [8] |
| 3 | Frank Wolter | [4] |