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 19 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)
- On the determinization of event-clock input-driven pushdown automata (Q2097230) (← links)
- Input-driven pushdown automata on well-nested infinite strings (Q2117102) (← links)
- Visibly rational expressions (Q2453980) (← links)
- Propositional dynamic logic with recursive programs (Q2643333) (← links)
- An Automata-Theoretic Approach to Infinite-State Systems (Q3587257) (← links)
- (Q5028456) (← links)
- (Q5136340) (← links)
- Ramsey-Based Inclusion Checking for Visibly Pushdown Automata (Q5277899) (← links)
- Temporal Logic with Recursion. (Q6060093) (← links)
- (Q6070608) (← links)
- Model Checking Temporal Properties of Recursive Probabilistic Programs (Q6137848) (← links)
- A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct (Q6137877) (← links)
- Extending Wagner's hierarchy to deterministic visibly pushdown automata (Q6149043) (← links)