Inductive-Inductive Definitions
Date first appeared online 31/12/2010
DOI 10.1007/978-3-642-15205-4_35
Authors Setzer A.
Journal Name Computer Science Logic
Volume 6247

Documents