A nucleus of a theorem-prover described inAlgol-68

DOI10.1007/BF01355585zbMATH Open0276.68038OpenAlexW2083278349MaRDI QIDQ4401574FDOQ4401574

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

Recommendations

• scientific article; zbMATH DE number 63734
• scientific article; zbMATH DE number 3880145
• scientific article; zbMATH DE number 1360950
• scientific article; zbMATH DE number 63752
• scientific article; zbMATH DE number 3935002

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The composition of semantics in Algol 68
• Title not available (Why is that?)
• ALGOL 68 with Fewer Tears
• The utility of independent subgoals in theorem proving

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Programming language ALGOL 68
• The disconnection tableau calculus

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)