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
Meager and replete failures of relative completeness - MaRDI portal

Meager and replete failures of relative completeness

From MaRDI portal

Publication:3493437

Jump to:navigation, search

DOI10.1145/48014.63139zbMATH Open0709.68588OpenAlexW1992932759MaRDI QIDQ3493437

Tim Fernando, Daniel M. Leivant

Publication date: 1988

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/48014.63139

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Meager composants of continua

This page was built for publication: Meager and replete failures of relative completeness

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

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