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
Mixing Computations and Proofs - MaRDI portal

Mixing Computations and Proofs

From MaRDI portal

Publication:5195270

Jump to:navigation, search

DOI10.6092/ISSN.1972-5787/4552zbMATH Open1451.03015OpenAlexW2267946875MaRDI QIDQ5195270

Michael Beeson

Publication date: 18 September 2019

Full work available at URL: https://doaj.org/article/22e5b2da36a74df496b3361d965e0638

zbMATH Keywords

logic computation formal proof

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (2)

Automata, Languages and Programming ⋮ On Formal Proofs

This page was built for publication: Mixing Computations and Proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5195270)

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