Pages that link to "Item:Q5465872"
From MaRDI portal
The following pages link to FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465872):
Displayed 11 items.
- Branching-time logics with path relativisation (Q386037) (← links)
- Visibly pushdown modular games (Q515657) (← links)
- Weighted automata and logics for infinite nested words (Q515684) (← links)
- Regular languages of nested words: fixed points, automata, and synchronization (Q649107) (← links)
- Pushdown module checking (Q968362) (← links)
- Visibly linear dynamic logic (Q1786616) (← links)
- Visibly rational expressions (Q2453980) (← links)
- Propositional dynamic logic with recursive programs (Q2643333) (← links)
- An Automata-Theoretic Approach to Infinite-State Systems (Q3587257) (← links)
- (Q5136340) (← links)
- Ramsey-Based Inclusion Checking for Visibly Pushdown Automata (Q5277899) (← links)