Research output per year
Research output per year
Research output
Search results
-
2021
Preface
Gallagher, J. P. & Sulzmann, M., 1 Feb 2021, In: Science of Computer Programming. 202, Special issue on FLOPS 2018, 2 p., 102577.Research output: Contribution to journal › Editorial › peer-review
-
2011
Editorial from the issue entitled "Special Issue: PEPM 2010"
Gallagher, J. P. & Voigtländer, J., Dec 2011, In: Higher-Order and Symbolic Computation. 23, 3, p. 273-274Research output: Contribution to journal › Editorial
File -
Introduction to the 27th International Conference on Logic Programming Special Issue: Editorial
Gallagher, J. P. & Gelfond, M., Jul 2011, In: Theory and Practice of Logic Programming. 11, 4-5, p. 429-432 4 p.Research output: Contribution to journal › Editorial
-
Proceedings of the International Workshop on Hybrid Logic and Applications 2010: Preface
Bolander, T. (ed.) & Braüner, T. (ed.), 2011, In: Electronic Notes in Theoretical Computer Science. 273, p. 1-2Research output: Contribution to journal › Editorial
-
2010
Proceedings of the 6th Workshop on Methods for Modalities (M4M-6 2009)
Bolander, T. & Braüner, T., 2010, In: Electronical Notes in Theoretical Computer Science. 262, p. 1-2Research output: Contribution to journal › Editorial
-
2009
Preface
Braüner, T. & Bolander, T., 2009, In: Journal of Logic, Language and Information. 18, 4, p. 435-436Research output: Contribution to journal › Editorial
-
2007
Proceedings of the International Workshop on Hybrid Logic 2006: Preface
Braüner, T., Blackburn, P., Bolander, T., de Paiva, V. & Villadsen, J., 2007, In: Electronical Notes in Theoretical Computer Science. 174, 6, p. 1-2 2 p.Research output: Contribution to journal › Editorial
-
2006
The Logic of Time and Modality: Preface
Braüner, T., Hasle, P. & Øhrstrøm, P., 2006, In: Synthese. 150, 3, p. 327-328 2 p.Research output: Contribution to journal › Editorial