Pages that link to "Item:Q5465875"
From MaRDI portal
The following pages link to FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465875):
Displaying 5 items.
- Regular sets over extended tree structures (Q764339) (← links)
- The equivalence problem for deterministic MSO tree transducers is decidable (Q845868) (← links)
- Determinacy and Rewriting of Top-Down and MSO Tree Transformations (Q2849905) (← links)
- Typed Lambda Calculi and Applications (Q5704028) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897794) (← links)