DOI10.1007/s10817-009-9157-2zbMath1214.68335MaRDI QIDQ972425
Alexander Krauss
Publication date: 26 May 2010 Published in: Journal of Automated Reasoning (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/s10817-009-9157-2
zbMATH Keywords
partial functions; proof assistants; nested recursion
Mathematics Subject Classification ID
Uses Software