1988/05/01 by Ulf R. Schmerl · 1 citation
Computer Science · Mathematics · #Algorithm #Calculus (dental) #Completeness (order theory) #Computer science #Correctness #Formal Methods in Verification #Geometry #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematical analysis #Mathematical proof #Mathematics #Programming language #Resolution (logic) #Theory of computation
paper · doi:10.1007/bf02737109
crossref issued 1988/05/01 · crossref published 1988/05/01 · crossref published-print 1988/05/01 · openalex publication_date 1988/05/01 · crossref created 2007/10/30 · crossref deposited 2019/05/21 · crossref indexed 2022/04/04 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/23