Dependency Concepts up to Equivalence

Grädel, Erich; Hoelzel, Matthias (Corresponding author)

Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, August (2018)
Contribution to a book, Contribution to a conference proceedings

In: Computer Science Logic 2018 : CSL 2018, September 4-8, 2018, Birmingham, United Kingdom / edited by Dan R. Ghica, Achim Jung