Proof search with set variable instantiation in the Calculus of Constructions
From MaRDI portal
Publication:4647555
DOI10.1007/3-540-61511-3_120zbMath1412.68221MaRDI QIDQ4647555
Publication date: 15 January 2019
Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61511-3_120
Related Items
Uses Software