Pages that link to "Item:Q1757837"
From MaRDI portal
The following pages link to The inclusion problem for regular expressions (Q1757837):
Displayed 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)
- Automated temporal verification for algebraic effects (Q6176569) (← links)