Revisiting the Institutional Approach to Herbrand’s Theorem
From MaRDI portal
Publication:5275358
DOI10.4230/LIPIcs.CALCO.2015.304zbMath1433.03166OpenAlexW2310350861MaRDI QIDQ5275358
José Luiz Fiadeiro, Ionuţ Ţuţu
Publication date: 11 July 2017
Full work available at URL: https://doi.org/10.4230/LIPIcs.CALCO.2015.304
Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Logic programming (68N17)
Related Items (1)
This page was built for publication: Revisiting the Institutional Approach to Herbrand’s Theorem