Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages (Q3525656)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 5344943
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages |
scientific article; zbMATH DE number 5344943 |
Statements
Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages (English)
0 references
18 September 2008
0 references
0.7998667359352112
0 references
0.7928173542022705
0 references
0.7901189923286438
0 references
0.7847831845283508
0 references
0.7776290774345398
0 references
