Model Theory and Proof Theory of Coalgebraic Predicate Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder. Model Theory and Proof Theory of Coalgebraic Predicate Logic. Logical Methods in Computer Science, 14(1), 2018. [doi]

This author has not been identified. Look up 'Tadeusz Litak' in GoogleThis author has not been identified. Look up 'Dirk Pattinson' in GoogleThis author has not been identified. Look up 'Katsuhiko Sano' in GoogleThis author has not been identified. Look up 'Lutz Schröder' in Google

runs on WebDSL