Completeness of Resolution for Definite Answers

DOI10.1093/LOGCOM/5.4.449zbMath0834.03004OpenAlexW2054978726MaRDI QIDQ4847378

Tanel Tammet

Publication date: 20 September 1995

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/d57686518c8105987ca304fff82dcc90b01221c0

zbMATH Keywords

resolution methodprogram extraction from specifications

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35)

Related Items (2)

Program Synthesis in Saturation ⋮ Confidences for commonsense reasoning

This page was built for publication: Completeness of Resolution for Definite Answers