Pages that link to "Item:Q2819796"
From MaRDI portal
The following pages link to DReX: a declarative language for efficiently evaluating regular string transformations (Q2819796):
Displaying 9 items.
- DReX (Q28812) (← links)
- Foundations of Boolean stream runtime verification (Q278752) (← links)
- Regular transducer expressions for regular transformations (Q2064527) (← links)
- A symbolic decision procedure for symbolic alternating finite automata (Q2130584) (← links)
- Streamable regular transductions (Q2286735) (← links)
- Regular Programming for Quantitative Properties of Data Streams (Q2802466) (← links)
- Forward Bisimulations for Nondeterministic Symbolic Finite Automata (Q3303912) (← links)
- (Q4790443) (← links)
- Efficient construction of reversible transducers from regular transducer expressions (Q6649485) (← links)