Dependency Concepts up to Equivalence

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

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

Authors

Authors

Grädel, Erich
Hoelzel, Matthias