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
scientific article; zbMATH DE number 6146478 - MaRDI portal

scientific article; zbMATH DE number 6146478

From MaRDI portal

Publication:4910742

Jump to:navigation, search

DOI10.4230/LIPIcs.STACS.2008.1366zbMath1259.03019MaRDI QIDQ4910742

Dietrich Kuske

Publication date: 19 March 2013

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_4517.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

logic in computer science Rabin's tree theorem

Mathematics Subject Classification ID

Logic in computer science (03B70)

This page was built for publication:

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