Hans-Peter Deifel

Identifiers

No identifiers captured yet.

Papers (2)

1. Generic Partition Refinement and Weighted Tree Automata cs.DS · 2018 · author #1
2. Permutation Games for the Weakly Aconjunctive $\mu$-Calculus cs.LO · 2017 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Lutz Schr\"oder 2 shared papers
• Daniel Hausmann 1 shared papers
• Stefan Milius 1 shared papers
• Thorsten Wi{\ss}mann 1 shared papers