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 conference proceedings]
[In 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, Birmingham, UK]
Identifier
- DOI: 10.4230/LIPICS.CSL.2018.25
- REPORT NUMBER: RWTH-2018-227980