Flat coalgebraic fixed point logics

DOI10.1007/978-3-642-15375-4_36MaRDI QIDQ6829423zbMATH OpenFDO

Authors Lutz Schröder, Yde Venema

Publication date 31 August 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15375-4_36

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Categorical logic, topoi (03G30)

This page was built for publication: Flat coalgebraic fixed point logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6829423)