scientific article; zbMATH DE number 3598613
From MaRDI portal
Publication:4165484
zbMath0385.18003MaRDI QIDQ4165484
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Bisimulation is two-way simulation ⋮ The equational logic of fixed points ⋮ 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 ⋮ Axiomatizing schemes and their behaviors
This page was built for publication:
