On definitions of constants and types in HOL
From MaRDI portal
Publication:287358
DOI10.1007/s10817-016-9366-4zbMath1356.68173WikidataQ59476343 ScholiaQ59476343MaRDI QIDQ287358
Publication date: 26 May 2016
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-016-9366-4
Uses Software
Cites Work