Pages that link to "Item:Q5703778"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703778):
Displaying 6 items.
- Iterating transducers (Q1858440) (← links)
- Formal efficiency analysis for tree transducer composition (Q2464335) (← links)
- Tree regular model checking: a simulation-based approach (Q2500700) (← links)
- Abstract regular tree model checking (Q2852015) (← links)
- Accelerating tree-automatic relations (Q2957509) (← links)
- View abstraction -- a tutorial (invited paper) (Q5240148) (← links)