A nucleus of a theorem-prover described inAlgol-68

DOI10.1007/BF01355585zbMath0276.68038OpenAlexW2083278349MaRDI QIDQ4401574

Peter Wegner, Jacques Cohen, Caurent Trilling

Publication date: 1974

Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01355585

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items (2)

The disconnection tableau calculus ⋮ Programming language ALGOL 68

Uses Software

• ALGOL 68

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The utility of independent subgoals in theorem proving
• The composition of semantics in Algol 68
• ALGOL 68 with Fewer Tears

This page was built for publication: A nucleus of a theorem-prover described inAlgol-68