( en | de | ru )

 

Disambiguation of "Hansen, Helle Hvid"

Author of the publication

copydeleteadd this publication to your clipboard
Presenting Distributive Laws.

, , , and . Log. Methods Comput. Sci., (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Karen Hvidtfeldt Madsen

Johan Hvidtfeldt

Jürgen Helle

Susanne Helle

Helle Stefek

 

Other publications of authors with the same name

Algebra-coalgebra duality in Brzozowski's minimization algorithm., , , , , and . ACM Trans. Comput. Log., 15 (1): 3:1-3:29 (2014)Newton series, coinductively: a comparative study of composition., , , and . Math. Struct. Comput. Sci., 29 (1): 38-66 (2019)Parity Games and Automata for Game Logic (Extended Version)., , , and . CoRR, (2017)A Coinductive Treatment of Infinitary Rewriting., , , , and . CoRR, (2013)Stream Differential Equations: Specification Formats and Solution Methods., , and . Log. Methods Comput. Sci., (2017)Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic., , , , and . Log. Methods Comput. Sci., (2018)Weak Completeness of Coalgebraic Dynamic Logics., and . FICS, volume 191 of EPTCS, page 90-104. (2015)Algebraic Presentation of Semifree Monads., , and . CMCS, volume 13225 of Lecture Notes in Computer Science, page 110-132. Springer, (2022)Bisimulation for Neighbourhood Structures., , and . CALCO, volume 4624 of Lecture Notes in Computer Science, page 279-293. Springer, (2007)Newton Series, Coinductively., , , and . ICTAC, volume 9399 of Lecture Notes in Computer Science, page 91-109. Springer, (2015)