scientific article; zbMATH DE number 3637271

zbMATH Open0409.68014MaRDI QIDQ4197330FDOQ4197330

Authors: Jean Gallier 

Publication date: 1979

Title of this publication is not available (Why is that?)

zbMATH Keywords

Fix-Point SemanticsRational AlgebrasRecursion Schemes

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Cited In (4)

• Deterministic and nondeterministic flowchart interpretations
• Semantics of algorithmic languages
• Algebraic characterization of reducible flowcharts
• DPDA's in 'Atomic normal form' and applications to equivalence problems

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 Q4197330)