Dependency Concepts up to Equivalence

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

Dagstuhl, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
Contribution to a book, Contribution to a conference proceedings

In: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) / Herausgeber: Dan Ghica, Achim Jung