The following pages link to Anna Labella (Q234453):
Displayed 9 items.
- A completeness theorem for nondeterministic Kleene algebras (Q5096912) (← links)
- Networks of Reaction Systems (Q5217114) (← links)
- Initial Algebra for a System of Right-Linear Functors (Q5350154) (← links)
- Accepting Networks of Evolutionary Picture Processors (Q5415285) (← links)
- (Q5650841) (← links)
- Iteration 2-theories (Q5930757) (← links)
- Categories enriched on two sides (Q5957782) (← links)
- On continuous time agents (Q6116583) (← links)
- Modal epistemic logic on contracts: a doctrinal approach (Q6199111) (← links)