( en | de | ru )

 

Disambiguation of "Hansen, Helle Hvid"

Author of the publication

copydeleteadd this publication to your clipboard
Completeness for Game Logic.

, , , , and . LICS, page 1-13. IEEE, (2019)

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

Helle Stefek

Susanne Helle

 

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)A Coinductive Treatment of Infinitary Rewriting., , , , and . CoRR, (2013)Parity Games and Automata for Game Logic (Extended Version)., , , and . CoRR, (2017)Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic., , , , and . Log. Methods Comput. Sci., (2018)Stream Differential Equations: Specification Formats and Solution Methods., , and . Log. Methods Comput. Sci., (2017)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)A Coalgebraic Perspective on Monotone Modal Logic., and . CMCS, volume 106 of Electronic Notes in Theoretical Computer Science, page 121-143. Elsevier, (2004)Newton Series, Coinductively., , , and . ICTAC, volume 9399 of Lecture Notes in Computer Science, page 91-109. Springer, (2015)