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
Identifier
- DOI: 10.4230/LIPICS.CSL.2018.25
- DOI: 10.18154/RWTH-2018-227980
- RWTH PUBLICATIONS: RWTH-2018-227980