scientific article; zbMATH DE number 3598613
From MaRDI portal
Publication:4165484
Cited in
(6)- Axiomatizing schemes and their behaviors
- The equational logic of fixed points
- In memoriam Calvin C. Elgot
- More on advice on structuring compilers and proving them correct
- Bisimulation is two-way simulation
- A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization
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)
