Tadeusz Litak

发表

Daniel Hausmann, Tadeusz Litak, Christoph Rauch, 2020, VMCAI.
Tadeusz Litak, Tadeusz Litak, 2006, RelMiCS.
Derek Dreyer, Tadeusz Litak, Deepak Garg, 2019, Proc. ACM Program. Lang..
Tadeusz Litak, 2002, Reports Math. Log..
Tadeusz Litak, Tadeusz Litak, 2004, Advances in Modal Logic.
Tadeusz Litak, Wesley H. Holliday, W. Holliday, 2018 .
Katsuhiko Sano, Tadeusz Litak, Dirk Pattinson, 2012, ICALP.
Tadeusz Litak, Stefan Milius, 2017, Fundam. Informaticae.
B. D. ten Cate, Maarten Marx, Tadeusz Litak, 2007 .
Tadeusz Litak, D CatetenB., V. Goranko, 2007 .
Tadeusz Litak, Wesley H. Holliday, W. Holliday, 2018, Advances in Modal Logic.
Tadeusz Litak, Tadeusz Litak, 2018, Stud Logica.
Tadeusz Litak, Wesley H. Holliday, W. Holliday, 2018, The Review of Symbolic Logic.
Tadeusz Litak, Murdoch James Gabbay, Daniela Petrisan, 2011, CALCO.
Tadeusz Litak, Albert Visser, A. Visser, 2019, ArXiv.
Balder ten Cate, Tadeusz Litak, B. T. Cate, 2007, HyLo@FLoC.
Balder ten Cate, Tadeusz Litak, Gaëlle Fontaine, 2010, J. Appl. Non Class. Logics.
Tadeusz Litak, Albert Visser, A. Visser, 2017, ArXiv.
Tadeusz Litak, Miriam Polzer, Ulrich Rabenstein, 2017, FSCD.
Katsuhiko Sano, Tadeusz Litak, Dirk Pattinson, 2017, Log. Methods Comput. Sci..
Tadeusz Litak, 2004, Stud Logica.
Tadeusz Litak, Tadeusz Litak, Tadeusz Litak, 2006, Advances in Modal Logic.
Tadeusz Litak, Peter Jipsen, P. Jipsen, 2017, Outstanding Contributions to Logic.
Szabolcs Mikulás, Jan Hidders, Tadeusz Litak, 2014, RAMICS.
Katsuhiko Sano, Tadeusz Litak, Dirk Pattinson, 2011, TbiLLC.
Maarten Marx, Balder ten Cate, Tadeusz Litak, 2010, J. Appl. Log..
Tadeusz Litak, Tadeusz Litak, 2017, ArXiv.
Katsuhiko Sano, Tadeusz Litak, Dirk Pattinson, 2017, ArXiv.
Tadeusz Litak, Dirk Pattinson, Lutz Schröder, 2015, J. Log. Comput..
Szabolcs Mikulás, Jan Hidders, Tadeusz Litak, 2016, J. Log. Algebraic Methods Program..
Tadeusz Litak, Murdoch J. Gabbay, Daniela Petrişan, 2011 .
Tadeusz Litak, Tadeusz Litak, 2008 .
Tadeusz Litak, Tomasz Kowalski, T. Kowalski, 2008 .