The following pages link to Alexander Kurz (Q299181):
Displayed 33 items.
- (Q4256317) (← links)
- (Q4329244) (← links)
- (Q4499307) (← links)
- (Q4533390) (← links)
- (Q4580204) (← links)
- Extending set functors to generalised metric spaces (Q4625693) (← links)
- Operations and equations for coalgebras (Q4657753) (← links)
- (Q4738229) (← links)
- Modal Rules are Co-Implications (Q4917041) (← links)
- (Q5074667) (← links)
- (Q5104711) (← links)
- Simplified Coalgebraic Trace Equivalence (Q5256339) (← links)
- (Q5275341) (← links)
- (Q5275352) (← links)
- Quasivarieties and varieties of ordered algebras: regularity and exactness (Q5361148) (← links)
- (Q5419889) (← links)
- Coalgebraic modal logic of finite rank (Q5462663) (← links)
- Algebra and Coalgebra in Computer Science (Q5492826) (← links)
- Foundations of Software Science and Computational Structures (Q5705904) (← links)
- On the Logic of Generalised Metric Spaces (Q5739454) (← links)
- (Q5875359) (← links)
- Completeness of Nominal PROPs (Q5883754) (← links)
- Presenting Distributive Laws (Q5891183) (← links)
- Presenting Distributive Laws (Q5892108) (← links)
- Foundations of Software Science and Computation Structures (Q5899087) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900829) (← links)
- Specifying coalgebras with modal logic (Q5941162) (← links)
- New perspectives on semi-primal varieties (Q6185300) (← links)
- Multi-type Sequent Calculi (Q6277612) (← links)
- Stone Duality for Relations (Q6331322) (← links)
- Logic-Induced Bisimulations (Q6347471) (← links)
- First order logic properly displayed (Q6367658) (← links)
- An equational approach to enriched distributivity (Q6386693) (← links)