Dependency Concepts up to Equivalence

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

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany (2018) [Beitrag zu einem Tagungsband]

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

Identifikationsnummern