Stratification in Logics of Definitions

DOI10.1007/978-3-642-31365-3_43zbMath1358.03031OpenAlexW8883731MaRDI QIDQ2908525

Alwen Tiu

Publication date: 5 September 2012

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31365-3_43

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05)

Related Items (2)

Unnamed Item ⋮ A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs

This page was built for publication: Stratification in Logics of Definitions