Dominik Kirst

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Undecidability of dyadic first-order logic in Coq

Johannes Hostert et al. (2022) · 13th International Conference on Interactive Theorem Proving (ITP)

A Coq Library for Mechanised First-Order Logic

Dominik Kirst et al. (2022) · HAL (Le Centre pour la Communication Scientifique Directe)