Helle Hvid Hansen

Available identifiers

zbMath Open hansen.helle-hvidMaRDI QIDQ618166

List of research outcomes

Publication	Date of Publication	Type
Correspondence between composite theories and distributive laws	2025-01-20	Paper
Completeness for game logic	2024-12-19	Paper
Minimisation in logical form	2024-10-01	Paper
Algebraic presentation of semifree monads	2022-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q5104711	2022-09-15	Paper
Algebraic Presentation of Semifree Monads	2022-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q5018511	2021-12-20	Paper
Weak completeness of coalgebraic dynamic logics	2021-12-02	Paper
Logic-Induced Bisimulations	2020-08-20	Paper
Well-definedness and observational equivalence for inductive–coinductive programs	2019-07-29	Paper
Neighbourhood Contingency Bisimulation	2019-07-24	Paper
Completeness for Game Logic	2019-04-16	Paper
Symbolic synthesis of Mealy machines from arithmetic bitstream functions	2019-02-08	Paper
Newton series, coinductively: a comparative study of composition	2018-12-04	Paper
Long-term values in Markov decision processes, (co)algebraically	2018-10-23	Paper
Parity games and automata for game logic	2018-04-12	Paper
Coinductive foundations of infinitary rewriting and infinitary equational logic	2018-01-12	Paper
A coinductive framework for infinitary rewriting and equational reasoning	2017-07-12	Paper
Stream differential equations: specification formats and solution methods	2017-05-08	Paper
Newton series, coinductively	2016-02-25	Paper
Presenting distributive laws	2015-08-25	Paper
Strong completeness for iteration-free coalgebraic dynamic logics	2014-09-15	Paper
(Co)algebraic characterizations of signal flow graphs	2014-06-02	Paper
A final coalgebra for \(k\)-regular sequences	2014-06-02	Paper
Algebra-coalgebra duality in Brzozowski's minimization algorithm	2014-04-16	Paper
Coalgebraising subsequential transducers	2014-01-24	Paper
Synthesis of Mealy machines using derivatives	2013-12-04	Paper
Presenting distributive laws	2013-09-13	Paper
A coalgebraic perspective on monotone modal logic	2013-09-11	Paper
Pointwise extensions of GSOS-defined operations	2011-06-10	Paper
Subsequential transducers: a coalgebraic perspective	2011-01-14	Paper
Neighbourhood Structures: Bisimilarity and Basic Model Theory	2009-06-30	Paper
Bisimulation for Neighbourhood Structures	2009-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4708934	2003-06-20	Paper
Correspondence between Composite Theories and Distributive Laws	N/A	Paper

Research outcomes over time

This page was built for person: Helle Hvid Hansen