Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Erratum to: Function iteration logics and flowchart schemata - MaRDI portal

Erratum to: Function iteration logics and flowchart schemata

From MaRDI portal

Publication:1135641

Jump to:navigation, search

DOI10.1007/BF02254867zbMath0425.68024MaRDI QIDQ1135641

John C. Cherniavsky

Publication date: 1979

Published in: Computing (Search for Journal in Brave)

zbMATH Keywords

Presburger arithmetic flowchart schemata function 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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1135641&oldid=13186491"