scientific article; zbMATH DE number 3598613
From MaRDI portal
Publication:4165484
Cited in
(6)- In memoriam Calvin C. Elgot
- More on advice on structuring compilers and proving them correct
- A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization
- Bisimulation is two-way simulation
- The equational logic of fixed points
- Axiomatizing schemes and their behaviors
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4165484)
