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
ATL with Strategy Contexts and Bounded Memory - MaRDI portal

ATL with Strategy Contexts and Bounded Memory

From MaRDI portal
Publication:3605522

DOI10.1007/978-3-540-92687-0_7zbMath1211.03031OpenAlexW2156309428MaRDI QIDQ3605522

Nicolas Markey, Arnaud da Costa, François Laroussinie, Thomas Brihaye

Publication date: 24 February 2009

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-92687-0_7




Related Items (21)


Uses Software


Cites Work


This page was built for publication: ATL with Strategy Contexts and Bounded Memory