Publications

Export 1 results:
Filters: Author is Areces, C.  [Clear All Filters]
2009
Brünnler, K., Studer, T.: Syntactic cut-elimination for common knowledge. In: Areces, C. and Demri, S. Proceedings of Methods for Modalities M4M5. pp. 227-240. Elsevier (2009).