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