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
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems - MaRDI portal

Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems

From MaRDI portal

Publication:3623010

Jump to:navigation, search

DOI10.2168/LMCS-4(4:14)2008zbMath1161.68029MaRDI QIDQ3623010

Matthew Hague, Luke Ong

Publication date: 29 April 2009

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

This page was built for publication: Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems

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