Helle Hvid Hansen

Identifiers

• name variant Helle Hvid Hansen 0.60 · backfill

Papers (7)

1. Completeness for Game Logic cs.LO · 2019 · author #2
2. Parity Games and Automata for Game Logic (Extended Version) cs.LO · 2017 · author #1
3. Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic cs.LO · 2017 · author #2
4. Stream Differential Equations: Specification Formats and Solution Methods cs.LO · 2016 · author #1
5. A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version) cs.LO · 2015 · author #2
6. A Coinductive Treatment of Infinitary Rewriting cs.LO · 2013 · author #2
7. Neighbourhood Structures: Bisimilarity and Basic Model Theory cs.LO · 2009 · author #1

Mentions

• 1505.01128 #2 · backfill · confidence 0.70 Helle Hvid Hansen
• 1306.6224 #2 · backfill · confidence 0.70 Helle Hvid Hansen
• 0901.4430 #1 · backfill · confidence 0.70 Helle Hvid Hansen

Frequent Coauthors

• Clemens Kupke 4 shared papers
• Alexandra Silva 3 shared papers
• Andrew Polonsky 3 shared papers
• Dimitri Hendriks 3 shared papers
• Johannes Marti 2 shared papers
• J\"org Endrullis 2 shared papers
• Yde Venema 2 shared papers
• Eric Pacuit 1 shared papers
• Jan Rutten 1 shared papers
• Joerg Endrullis 1 shared papers
• Sebastian Enqvist 1 shared papers