Pages that link to "Item:Q2536436"
From MaRDI portal
The following pages link to Regular expressions and the equivalence of programs (Q2536436):
Displaying 15 items.
- A survey of state vectors (Q458456) (← links)
- Fixing Zeno gaps (Q549197) (← links)
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings (Q604456) (← links)
- A coalgebraic approach to Kleene algebra with tests (Q703519) (← links)
- Synchronous Kleene algebra (Q710676) (← links)
- Observations on the complexity of regular expression problems (Q1149249) (← links)
- Program equivalence and context-free grammars (Q1221492) (← links)
- \(L(A)=L(B)\)? decidability results from complete formal systems (Q1589483) (← links)
- Deciding Kleene algebra terms equivalence in Coq (Q2347910) (← links)
- A goal-directed decision procedure for hybrid PDL (Q2351150) (← links)
- Pair grammars, graph languages and string-to-graph translations (Q2550295) (← links)
- A note on infinite trees (Q2557124) (← links)
- On program schemata equivalence (Q2559261) (← links)
- On the Coalgebraic Theory of Kleene Algebra with Tests (Q3299849) (← links)
- The Böhm–Jacopini Theorem Is False, Propositionally (Q3521987) (← links)
