scientific article; zbMATH DE number 3598613
From MaRDI portal
Publication:4165484
zbMATH Open0385.18003MaRDI QIDQ4165484FDOQ4165484
Authors: Calvin C. Elgot 
Publication date: 1977
Title of this publication is not available (Why is that?)
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)
