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
The Data Complexity of MDatalog in Basic Modal Logics - MaRDI portal

The Data Complexity of MDatalog in Basic Modal Logics

From MaRDI portal

Publication:5756715

Jump to:navigation, search

DOI10.1007/11821069_63zbMath1132.68367OpenAlexW2134147680MaRDI QIDQ5756715

Linh Anh Nguyen

Publication date: 5 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11821069_63

Mathematics Subject Classification ID

Database theory (68P15) Modal logic (including the logic of norms) (03B45) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

This page was built for publication: The Data Complexity of MDatalog in Basic Modal Logics

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