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
Automated Reasoning - MaRDI portal

Automated Reasoning

From MaRDI portal

Publication:5307062

Jump to:navigation, search

DOI10.1007/B98691zbMath1126.68567OpenAlexW4239036627MaRDI QIDQ5307062

Georg Gottlob

Publication date: 25 September 2007

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

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Mechanization of proofs and logical operations (03B35) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Model theory of finite structures (03C13)

Related Items (1)

The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey

This page was built for publication: Automated Reasoning

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