On formalisms

DOI10.1007/BF01941125MaRDI QIDQ921958zbMATH OpenOpenAlexFDO

Authors Brian H. Mayoh

Publication date 1988

Published in BIT (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• Formalization in program development
• scientific article; zbMATH DE number 3852463 (Why is no real title available?)
• scientific article; zbMATH DE number 3954302 (Why is no real title available?)
• scientific article; zbMATH DE number 3980455 (Why is no real title available?)
• scientific article; zbMATH DE number 3742670 (Why is no real title available?)
• scientific article; zbMATH DE number 43069 (Why is no real title available?)
• scientific article; zbMATH DE number 194808 (Why is no real title available?)
• scientific article; zbMATH DE number 1442964 (Why is no real title available?)
• scientific article; zbMATH DE number 3307166 (Why is no real title available?)
• Linear logic
• Literate Programming
• Thinking and Turing's test

This page was built for publication: On formalisms

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