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
Characterizing Strongly First Order Dependencies: The Non-Jumping Relativizable Case - MaRDI portal

Characterizing Strongly First Order Dependencies: The Non-Jumping Relativizable Case

From MaRDI portal

Publication:6314373

Jump to:navigation, search

arXiv1902.07794MaRDI QIDQ6314373

Pietro Galliani

Publication date: 20 February 2019

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Characterizing Strongly First Order Dependencies: The Non-Jumping Relativizable Case

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