| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 11 |      | Murdoch James Gabbay, Tadeusz Litak, Daniela Petrisan: Stone Duality for Nominal Boolean Algebras with И. CALCO 2011: 192-207 |
| 2010 | ||
| 10 | | Balder ten Cate, Tadeusz Litak, Maarten Marx: Complete axiomatizations for XPath fragments. J. Applied Logic 8(2): 153-172 (2010) |
| 9 | | Balder ten Cate, Gaëlle Fontaine, Tadeusz Litak: Some modal aspects of XPath. Journal of Applied Non-Classical Logics 20(3): 139-171 (2010) |
| 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] [9] [10] |
| 2 | Gaëlle Fontaine | [9] |
| 3 | Murdoch James Gabbay (Murdoch Gabbay) | [11] |
| 4 | Sven Helmer | [8] |
| 5 | Maarten Marx | [10] |
| 6 | Daniela Petrisan | [11] |
| 7 | Frank Wolter | [4] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page