Procedure mechanisms of abstraction
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3553723 (Why is no real title available?)
- scientific article; zbMATH DE number 3559037 (Why is no real title available?)
- scientific article; zbMATH DE number 3574936 (Why is no real title available?)
- scientific article; zbMATH DE number 3614153 (Why is no real title available?)
- Abstraction and verification in Alphard
- Flow diagrams, turing machines and languages with only two formation rules
- Symmetric list processor
- The SL5 procedure mechanism
This page was built for publication: Procedure mechanisms of abstraction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q595363)