Pages that link to "Item:Q1757837"
From MaRDI portal
The following pages link to The inclusion problem for regular expressions (Q1757837):
Displaying 4 items.
- A theoretical framework for cardinality-based feature models: the semantics and computational aspects (Q1647962) (← links)
- A synchronous effects logic for temporal verification of pure Esterel (Q2234089) (← links)
- From finite automata to regular expressions and back -- a summary on descriptional complexity (Q2800411) (← links)
- Symbolic Solving of Extended Regular Expression Inequalities. (Q2978511) (← links)