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
Complexity bounds on proofs - MaRDI portal

Complexity bounds on proofs

From MaRDI portal

Publication:3922673

Jump to:navigation, search

DOI10.2307/2273619zbMath0469.03041OpenAlexW2092556683MaRDI QIDQ3922673

William S. Hatcher, Bernard R. Hodgson

Publication date: 1981

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

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

zbMATH Keywords

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Complexity of proofs (03F20)

Cites Work

Diophantine Representation of the Set of Prime Numbers

This page was built for publication: Complexity bounds on proofs

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