Tadeusz Litak
Orcid: 0000000322403161Affiliations:
 University of ErlangenNuremberg, Germany
According to our database^{1},
Tadeusz Litak
authored at least 34 papers
between 2002 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2024
CoRR, 2024
CoRR, 2024
2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
2020
Proc. ACM Program. Lang., 2020
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020
2019
Rev. Symb. Log., 2019
CoRR, 2019
2018
Stud Logica, 2018
Log. Methods Comput. Sci., 2018
Some notes on the superintuitionistic logic of chequered subsets of R<sup>∞</sup>.
CoRR, 2018
Proceedings of the Advances in Modal Logic 12, 2018
2017
J. Log. Comput., 2017
Fundam. Informaticae, 2017
CoRR, 2017
CoRR, 2017
CoRR, 2017
CoRR, 2017
Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017
2016
J. Log. Algebraic Methods Program., 2016
2014
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014
2013
Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co)recursion.
Proceedings of the Proceedings Workshop on Fixed Points in Computer Science, 2013
2012
Proceedings of the Automata, Languages, and Programming  39th International Colloquium, 2012
2011
Proceedings of the Logic, Language, and Computation, 2011
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
2010
J. Appl. Log., 2010
J. Appl. Non Class. Logics, 2010
2009
Proceedings of the Database and Expert Systems Applications, 20th International Conference, 2009
2006
Proceedings of the International Workshop on Hybrid Logic, 2006
Proceedings of the Advances in Modal Logic 6, 2006
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006
2005
Stud Logica, 2005
2004
Stud Logica, 2004
Proceedings of the Advances in Modal Logic 5, 2004
2002
Reports Math. Log., 2002