Pages that link to "Item:Q5465847"
From MaRDI portal
The following pages link to FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465847):
Displaying 8 items.
- Regular sets over extended tree structures (Q764339) (← links)
- Automatic verification of recursive procedures with one integer parameter. (Q1401233) (← links)
- Model Checking Procedural Programs (Q3176375) (← links)
- Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems (Q3623010) (← links)
- Games on Higher Order Multi-stack Pushdown Systems (Q3646264) (← links)
- Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations (Q4571986) (← links)
- Domains for Higher-Order Games (Q5111275) (← links)
- Symbolic Reachability for Process Algebras with Recursive Data Types (Q5505595) (← links)