Extracting Information from Logical Proofs

DOI10.1007/978-94-010-2191-3_6zbMath0297.68073OpenAlexW86723050MaRDI QIDQ4051642

Brian H. Mayoh

Publication date: 1974

Published in: Logical Theory and Semantic Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-010-2191-3_6

zbMATH Keywords

extraction of information from global theorem-provers

Mathematics Subject Classification ID

Computability and recursion theory (03D99) Proof theory and constructive mathematics (03F99)

Related Items (1)

Parsing as non-Horn deduction

This page was built for publication: Extracting Information from Logical Proofs