The following pages link to (Q4876413):
Displaying 6 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- On the ambiguation of Polish notation (Q549208) (← links)
- The equational theory of Kleene lattices (Q655418) (← links)
- A positive information logic for inferential information (Q833030) (← links)
- A sketch of a dynamic epistemic semiring (Q964506) (← links)
- The finitely axiomatizable complete theories of non-associative arrow frames (Q1731561) (← links)