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
Finite automata, real time processes and counting problems in bounded arithmetics - MaRDI portal

Finite automata, real time processes and counting problems in bounded arithmetics

From MaRDI portal

Publication:3791138

Jump to:navigation, search

DOI10.2307/2274442zbMath0647.03034OpenAlexW4253641400MaRDI QIDQ3791138

Mirosław Kutyłowski

Publication date: 1988

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274442

zbMATH Keywords

counting problems fragments of arithmetic relative consistency .metamathematics of weak systems of arithmetic unprovability of consistency bounded arithmetics chains of finite automata counting automaton

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) First-order arithmetic and fragments (03F30)

Related Items (1)

Computation models and function algebras

This page was built for publication: Finite automata, real time processes and counting problems in bounded arithmetics

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