2008 23rd Annual IEEE Symposium on Logic in Computer Science
Book title Buchtitel
2008 23rd Annual IEEE Symposium on Logic in Computer Science
Publisher Herausgeber
IEEE Computer Society
Place of publishing Erscheinungsort
Washington, DC, USA
Series Schriftenreihe
2008 23rd Annual IEEE Symposium on Logic in Computer Science
Results 1-1 of 1 (Search time: 0.0 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Ciabattoni, Agata ; Galatos, Nikolaos ; Terui, Kazushige | From Axioms to Analytic Rules in Nonclassical Logics | Konferenzbeitrag Inproceedings  | 2008 |