Optimized Program Extraction for Induction and Coinduction
Date first appeared online 03/07/2018
DOI 10.1007/978-3-319-94418-0_7
Authors Berger U., Petrovska O.
Journal Name Sailing Routes in the World of Computation
Volume 10936

Documents