Proceedings of the Eleventh ESSLLI Student Session
Book title Buchtitel
Proceedings of the Eleventh ESSLLI Student Session
Editor Herausgeber_in
Results 1-1 of 1 (Search time: 0.0 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Ortiz de la Fuente, M.Magdalena ; Huitink, Janneke ; Katrenko, Sophia | A Fully Internalized Sequent Calculus for Hybrid Categorial Logics | Konferenzbeitrag Inproceedings  | 2006 |