Erratum to: Function iteration logics and flowchart schemata

DOI10.1007/BF02254867zbMATH Open0425.68024MaRDI QIDQ1135641FDOQ1135641

Authors: John C. Cherniavsky 

Publication date: 1979

Published in: Computing (Search for Journal in Brave)

zbMATH Keywords

Presburger arithmeticflowchart schematafunction iteration logics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• The undecidability of the domino problem

This page was built for publication: Erratum to: Function iteration logics and flowchart schemata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1135641)