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
Mathematical Foundations of Computer Science 2005 - MaRDI portal

Mathematical Foundations of Computer Science 2005

From MaRDI portal

Publication:5492896

Jump to:navigation, search

DOI10.1007/11549345zbMath1156.68472OpenAlexW2494705596MaRDI QIDQ5492896

Rafał Somla, Martin Lange

Publication date: 20 October 2006

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

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Three notes on the complexity of model checking fixpoint logic with chop

This page was built for publication: Mathematical Foundations of Computer Science 2005

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