scientific article
From MaRDI portal
Publication:3086786
zbMath1226.03026MaRDI QIDQ3086786
Peter B. Andrews, Hongwei Xi, Sunil Issar, Dan Nesmith, Matthew Bishop, Frank Pfenning
Publication date: 30 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
higher-order logicnatural deductionautomated theorem proverproof checkingtheorem-provinginteractive proof checkersystem TPS for classical type theory
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
On sets, types, fixed points, and checkerboards ⋮ Decidable higher-order unification problems ⋮ What holds in a context?
Uses Software
This page was built for publication:
