Context-Free Graph Properties via Definable Decompositions
Elberfeld, Michael (Corresponding author)
Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2016)
Contribution to a book, Contribution to a conference proceedings
In: 25th EACSL Annual Conference on Computer Science Logic (CSL 2016) / Herausgeber: Jean-Marc Talbot, Laurent Regnier
Page(s)/Article-Nr.: 17:1-17:16
Identifier
- DOI: 10.4230/LIPIcs.CSL.2016.17
- DOI: 10.18154/RWTH-2016-06689
- RWTH PUBLICATIONS: RWTH-2016-06689