Relative Hilbert-Post Completeness for Exceptions

DOI10.1007/978-3-319-32859-1_51zbMath1460.68024OpenAlexW1844822429MaRDI QIDQ2807879

Jean-Claude Reynaud, Jean-Guillaume Dumas, Dominique Duval, Damien Pous, Burak Ekici

Publication date: 25 May 2016

Published in: Mathematical Aspects of Computer and Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-32859-1_51

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• Coq