How to Reason Coinductively Informally
Date first appeared online 05/05/2016
DOI 10.1007/978-3-319-29198-7_12
Authors Setzer A.
Journal Name Advances in Proof Theory
Volume 28

Documents