Tadeusz Michal Litak


Publications (Download BibTeX)

Journal article
Milius S, Litak TM (2017)
Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion
Fundamenta Informaticae

Journal article
Schröder L, Litak TM, Pattinson D (2015)
A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic
Journal of Logic and Computation

Conference contribution
Milius S, Litak TM (2013)
Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion
Proc. Fixed Points in Computer Science

Conference contribution
Litak TM, Pattinson D, Sano K, et al. (2012)
Coalgebraic Predicate Logic
Automata, Languages, and Programming -

Share link Get in contact
Last updated on 2016-05-05 at 05:28
PDF downloaded successfully