The following pages link to Nominal Kleene Coalgebra (Q3449483):
Displayed 19 items.
- Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets (Q328657) (← links)
- Quantitative simulations by matrices (Q729815) (← links)
- Coalgebraic semantics for nominal automata (Q2104476) (← links)
- Left-handed completeness (Q2286746) (← links)
- Completeness and incompleteness in nominal Kleene algebra (Q2401017) (← links)
- Exploring nominal cellular automata (Q2409627) (← links)
- Left-Handed Completeness (Q2915142) (← links)
- Equational Theories of Abnormal Termination Based on Kleene Algebra (Q2988362) (← links)
- Nominal Automata with Name Binding (Q2988364) (← links)
- Nominal Kleene Coalgebra (Q3449483) (← links)
- (Q4989395) (← links)
- (Q5028487) (← links)
- (Q5089311) (← links)
- Reversible Kleene lattices (Q5111283) (← links)
- Initial Algebras of Terms with Binding and Algebraic Structure (Q5414966) (← links)
- Realization of Coinductive Types (Q5739360) (← links)
- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors (Q5739455) (← links)
- (Q5875350) (← links)
- A Theory of Formal Choreographic Languages (Q6135778) (← links)