24th EACSL Annual Conference on Computer Science Logic - CLS 2015
Book title Buchtitel
24th EACSL Annual Conference on Computer Science Logic - CLS 2015
Publisher Herausgeber
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Place of publishing Erscheinungsort
Dagstuhl, Deutschland
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Hetzl, Stefan ; Zivota, Sebastian | Tree Grammars for the Elimination of Non-prenex Cuts | Konferenzbeitrag Inproceedings | 2015 |