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
Simple Programs Realize Exactly Presburger Formulas - MaRDI portal

Simple Programs Realize Exactly Presburger Formulas

From MaRDI portal

Publication:4124274

Jump to:navigation, search

DOI10.1137/0205045zbMath0353.68018OpenAlexW1978995933MaRDI QIDQ4124274

John C. Cherniavsky

Publication date: 1976

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0205045

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) General topics in the theory of software (68N01) Proof theory and constructive mathematics (03F99)

Related Items (4)

Temporal Specifications with Accumulative Values ⋮ Monadic logic programs and functional complexity ⋮ A note on the complexity of program evaluation ⋮ Simple programming languages and restricted classes of Turing machines

This page was built for publication: Simple Programs Realize Exactly Presburger Formulas

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