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
The DPRM Theorem in Isabelle (Short Paper). - MaRDI portal

The DPRM Theorem in Isabelle (Short Paper).

From MaRDI portal

Publication:5875447

Jump to:navigation, search

DOI10.4230/LIPIcs.ITP.2019.33OpenAlexW2978388349MaRDI QIDQ5875447

Jonas Bayer, Dierk Schleicher, Abhik Pal, Marco David, Benedikt Stock

Publication date: 3 February 2023

Full work available at URL: https://doi.org/10.4230/LIPIcs.ITP.2019.33

zbMATH Keywords

formal verification recursively enumerable sets Isabelle Hilbert's tenth problem register machines Diophantine predicates DPRM theorem

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Cites Work

This page was built for publication: The DPRM Theorem in Isabelle (Short Paper).

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

Pages with script errors