UNILOG 2013 - Workshop on Compositional Meaning in Logic (GeTFun 1.0)
Event name
UNILOG 2013 - Workshop on Compositional Meaning in Logic (GeTFun 1.0)
Event type
Event for scientific audience
Start date
03-04-2013
End date
04-04-2013
Location
Rio de Janeiro
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Reis, Giselle | A framework for specifying and reasoning in sequent calculus systems | Präsentation Presentation | 2013 | |
| 2 | Cerna, David | Towards Powerful and Decidable Formalizations Through Schematic Representation | Präsentation Presentation | 2013 |