Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors

Seppelt, Tim Frederik

Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH (2023)
Contribution to a book, Contribution to a conference proceedings

In: 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023) / Herausgeber: Jérôme Leroux, Sylvain Lombardy, David Peleg
Page(s)/Article-Nr.: 82:1-82:15


  • UnRAVeL Research Training Group [080060]
  • Department of Computer Science [120000]
  • Chair of Computer Science 7 (Logic and Theory of Discrete Systems) [122910]