Publications

Export 49 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is T  [Clear All Filters]
2009
Batens, Diderik. 2009. Towards A Dialogic Interpretation Of Dynamic Proofs Cédric Dégremont, Keiff, Laurent, and Rückert, Helge. Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman: 27–51.
De Langhe, Rogier. 2009. Trading Off Explanatory Virtues. In Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days, Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days, Erik Weber, Libert, Thierry, Marage, Pierre, and Van Paemel, Geert. {Koninklijke Vlaamse Academie van België.
Primiero, Giuseppe, and Bjørn Jespersen. 2009. Two Type-Theoretical Approaches To Privative Modification Kumiyo Nakakoji, Murakami, Yohei, and McCready, Eric. New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops: 239–258.

Pages