Skip to ContentSkip to Navigation
Rijksuniversiteit Groningenfounded in 1614  -  top 100 university
About us Practical matters How to find us H.H. (Helle) Hansen, Prof

H.H. (Helle) Hansen, Prof

Adjuncthoogleraar in Logic and Semantics of Computation

Publicaties

Propositional Dynamic Logic has Craig Interpolation: A tableau-based proof

Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets

Correspondence Between Composite Theories and Distributive Laws

Dual Adjunction Between Ω-Automata and Wilke Algebra Quotients

Dual Adjunction Between Ω-Automata and Wilke Algebra Quotients

Minimisation in Logical Form

Preface to the Proceedings of WoLLIC 2023

Algebraic Presentation of Semifree Monads

An agent-based exploration of the effect of multi-criteria decisions on complex socio-technical heat transitions

Preface to the Proceedings of CMCS 2022

Pers/media

The power of logic in computation