A nucleus of a theorem-prover described inAlgol-68

DOI10.1007/BF01355585MaRDI QIDQ4401574zbMATH OpenOpenAlexFDO

Authors Jacques Cohen, Caurent Trilling, Peter Wegner

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)

Cites work

• scientific article; zbMATH DE number 1269493 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3278281 (Why is no real title available?)
• scientific article; zbMATH DE number 3295765 (Why is no real title available?)
• scientific article; zbMATH DE number 3366508 (Why is no real title available?)
• scientific article; zbMATH DE number 3407195 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• ALGOL 68 with Fewer Tears
• The composition of semantics in Algol 68
• The utility of independent subgoals in theorem proving

Cited in

(4)

• scientific article; zbMATH DE number 549074 (Why is no real title available?)
• scientific article; zbMATH DE number 69315 (Why is no real title available?)
• Programming language ALGOL 68
• The disconnection tableau calculus

Describes a project that uses

Uses Software

• ALGOL 68

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4401574)