scientific article; zbMATH DE number 1759492
From MaRDI portal
Publication:4536446
zbMath0998.68526MaRDI QIDQ4536446
Christof Löding, Wolfgang Thomas
Publication date: 25 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Ramsey-Based Inclusion Checking for Visibly Pushdown Automata ⋮ Adapting behaviors via reactive synthesis ⋮ From LTL to unambiguous Büchi automata via disambiguation of alternating automata ⋮ Inferring regular languages and \(\omega\)-languages ⋮ Ambiguity, weakness, and regularity in probabilistic Büchi automata ⋮ LTL to self-loop alternating automata with generic acceptance and back ⋮ Regular \(\omega\)-languages with an informative right congruence ⋮ A theory of ultimately periodic languages and automata with an application to time granularity
This page was built for publication:
