An alternate proof of Statman's finite completeness theorem
From MaRDI portal
Publication:436624
DOI10.1016/j.ipl.2012.04.014zbMath1243.03017OpenAlexW2273291048MaRDI QIDQ436624
Igor Walukiewicz, B. Srivathsan
Publication date: 25 July 2012
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ipl.2012.04.014
Related Items
Cites Work
This page was built for publication: An alternate proof of Statman's finite completeness theorem