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
On the termination problem for counter machines with incrementing errors - MaRDI portal

On the termination problem for counter machines with incrementing errors

From MaRDI portal

Publication:2330597

Jump to:navigation, search

DOI10.1007/978-3-030-30806-3_11OpenAlexW2972213460MaRDI QIDQ2330597

Christopher Hampson

Publication date: 22 October 2019

Full work available at URL: https://kclpure.kcl.ac.uk/portal/en/publications/on-the-termination-problem-for-counter-machines-with-incrementing-errors(87ceb73d-325c-4580-949f-484f38f45676).html

zbMATH Keywords

termination halting problem incrementing error lossy error unreliable counter machines

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

On the termination and structural termination problems for counter machines with incrementing errors

This page was built for publication: On the termination problem for counter machines with incrementing errors

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