Dependency Concepts up to Equivalence

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

Dagstuhl, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
Buchbeitrag, Beitrag zu einem Tagungsband

In: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) / Herausgeber: Dan Ghica, Achim Jung

Einrichtungen

• Fachgruppe Mathematik [110000]
• Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]