Canonical Constructive Systems
From MaRDI portal
Publication:3648721
DOI10.1007/978-3-642-02716-1_6zbMath1260.03107OpenAlexW124470575MaRDI QIDQ3648721
Publication date: 1 December 2009
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-02716-1_6
Related Items (1)
This page was built for publication: Canonical Constructive Systems