Dependency Concepts up to Equivalence

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

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany (2018)
Contribution to a book, Contribution to a conference proceedings

In: [In 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, Birmingham, UK]