2012 27th Annual IEEE Symposium on Logic in Computer Science
Book title Buchtitel
2012 27th Annual IEEE Symposium on Logic in Computer Science
Publisher Herausgeber
IEEE
Results 1-2 of 2 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Rabinovich, Alexander ; Rubin, Sasha | Interpretations in Trees with Countably Many Branches | Konferenzbeitrag Inproceedings | 2012 | |
2 | Avron, Arnon ; Konikowska, Beata ; Zamansky, Anna | Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics | Konferenzbeitrag Inproceedings | 2012 |