Moritz Lichter

Identifiers

No identifiers captured yet.

Papers (3)

1. Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting cs.LO · 2022 · author #1
2. Walk refinement, walk logic, and the iteration number of the Weisfeiler-Leman algorithm cs.LO · 2019 · author #1
3. Constructive Analysis of S1S and B\"uchi Automata cs.LO · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Gert Smolka 1 shared papers
• Ilia Ponomarenko 1 shared papers
• Pascal Schweitzer 1 shared papers