Tadeusz Michal Litak



Organisation


Lehrstuhl für Informatik 8 (Theoretische Informatik)


Publications (Download BibTeX)


Milius, S., & Litak, T.M. (2017). Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion. Fundamenta Informaticae, 150, 407-449. https://dx.doi.org/10.3233/FI-2017-1475
Schröder, L., Litak, T.M., & Pattinson, D. (2015). A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic. Journal of Logic and Computation, advance access, -. https://dx.doi.org/10.1093/logcom/exv043
Milius, S., & Litak, T.M. (2013). Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion. In Proc. Fixed Points in Computer Science (pp. 72-86). Cornell: Cornell University Library.
Litak, T.M., Pattinson, D., Sano, K., & Schröder, L. (2012). Coalgebraic Predicate Logic. In Automata, Languages, and Programming (pp. 299-311). University of Warwick: Berlin: Springer-verlag.

Last updated on 2016-05-05 at 05:28