The following pages link to (Q5693581):
Displayed 13 items.
- Canonical finite models of Kleene algebra with tests (Q299196) (← links)
- Concurrent Kleene algebra with tests and branching automata (Q299205) (← links)
- A model of context-dependent component connectors (Q436387) (← links)
- Fixing Zeno gaps (Q549197) (← links)
- A coalgebraic approach to Kleene algebra with tests (Q703519) (← links)
- Synchronous Kleene algebra (Q710676) (← links)
- Deciding Kleene algebra terms equivalence in Coq (Q2347910) (← links)
- Deciding Synchronous Kleene Algebra with Derivatives (Q2947408) (← links)
- Equational Theories of Abnormal Termination Based on Kleene Algebra (Q2988362) (← links)
- On the Coalgebraic Theory of Kleene Algebra with Tests (Q3299849) (← links)
- The Böhm–Jacopini Theorem Is False, Propositionally (Q3521987) (← links)
- A Bialgebraic Approach to Automata and Formal Language Theory (Q3605547) (← links)
- Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests (Q6160745) (← links)