The following pages link to Helle Hvid Hansen (Q618166):
Displaying 33 items.
- Subsequential transducers: a coalgebraic perspective (Q618167) (← links)
- Parity games and automata for game logic (Q1742625) (← links)
- Long-term values in Markov decision processes, (co)algebraically (Q1798787) (← links)
- Algebraic presentation of semifree monads (Q2104481) (← links)
- Newton Series, Coinductively (Q2787418) (← links)
- (Q2847811) (← links)
- (Q2863892) (← links)
- Coalgebraising Subsequential Transducers (Q2873665) (← links)
- (Q2980965) (← links)
- Pointwise extensions of GSOS-defined operations (Q3005990) (← links)
- Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics (Q3190168) (← links)
- Bisimulation for Neighbourhood Structures (Q3612496) (← links)
- Neighbourhood Structures: Bisimilarity and Basic Model Theory (Q3636801) (← links)
- Newton series, coinductively: a comparative study of composition (Q4559600) (← links)
- (Q4600775) (← links)
- (Q4621141) (← links)
- (Q4708934) (← links)
- (Q5014445) (← links)
- (Q5018511) (← links)
- (Q5104711) (← links)
- Neighbourhood Contingency Bisimulation (Q5224490) (← links)
- Well-definedness and observational equivalence for inductive–coinductive programs (Q5225850) (← links)
- (Q5277876) (← links)
- Algebra-coalgebra duality in brzozowski's minimization algorithm (Q5410330) (← links)
- (Co)Algebraic Characterizations of Signal Flow Graphs (Q5418958) (← links)
- A Final Coalgebra for k-regular Sequences (Q5418973) (← links)
- Presenting Distributive Laws (Q5891183) (← links)
- Presenting Distributive Laws (Q5892108) (← links)
- Correspondence between Composite Theories and Distributive Laws (Q6528562) (← links)
- Minimisation in logical form (Q6612779) (← links)
- Completeness for game logic (Q6654487) (← links)
- Correspondence between composite theories and distributive laws (Q6666781) (← links)
- Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets (Q6735348) (← links)
