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
scientific article; zbMATH DE number 6851951 - MaRDI portal

scientific article; zbMATH DE number 6851951

From MaRDI portal

Publication:4608681

Jump to:navigation, search

DOI10.4230/LIPIcs.CONCUR.2016.29zbMath1392.68257MaRDI QIDQ4608681

Joël Ouaknine, Antonia Lechner, Amaury Pouly, Richard Mayr, James Worrell

Publication date: 21 March 2018

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

reachability Presburger arithmetic one-counter automata disequality tests freeze LTL

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (3)

Equivalence between model-checking flat counter systems and Presburger arithmetic ⋮ Unnamed Item ⋮ The Complexity of Flat Freeze LTL

This page was built for publication:

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