Computer Science Logic (CSL'12) - 26th International Workshop/21st
Book title Buchtitel
Computer Science Logic (CSL'12) - 26th International Workshop/21st
Editor Herausgeber_in
Publisher Herausgeber
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Leitsch, Alexander ; Reis, Giselle ; Woltzenlogel-Paleo, Bruno ; Cegielski, Patrick | Towards CERes in intuitionistic logic | Konferenzbeitrag Inproceedings | 2012 |