On compound statements in a conversational language

DOI10.1007/BF01931699MaRDI QIDQ4160369zbMATH OpenFDO

Authors

Publication date 1978

Published in BIT (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Cites work

• Proof of a program

Describes a project that uses

Uses Software

• Find

This page was built for publication: On compound statements in a conversational language

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