Programming, Logic and Intelligent Systems

Research Output 2006 2018

Filter
Editorial
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-274

Research output: Contribution to journalEditorialResearch

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 journalEditorialResearch

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-2

Research output: Contribution to journalEditorialResearch

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-2

Research output: Contribution to journalEditorialResearch

2009

Preface

Braüner, T. & Bolander, T., 2009, In : Journal of Logic, Language and Information. 18, 4, p. 435-436

Research output: Contribution to journalEditorialResearch

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 journalEditorialResearch

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 journalEditorialResearch