Programmering, logik og intelligente systemer

Publikationer 2006 2019

Filter
Leder
2011

Editorial from the issue entitled "Special Issue: PEPM 2010"

Gallagher, J. P. & Voigtländer, J., dec. 2011, I : Higher-Order and Symbolic Computation. 23, 3, s. 273-274

Publikation: Bidrag til tidsskriftLederForskning

Fil

Introduction to the 27th International Conference on Logic Programming Special Issue: Editorial

Gallagher, J. P. & Gelfond, M., jul. 2011, I : Theory and Practice of Logic Programming. 11, 4-5, s. 429-432 4 s.

Publikation: Bidrag til tidsskriftLederForskning

Proceedings of the International Workshop on Hybrid Logic and Applications 2010: Preface

Bolander, T. (red.) & Braüner, T. (red.), 2011, I : Electronic Notes in Theoretical Computer Science. 273, s. 1-2

Publikation: Bidrag til tidsskriftLederForskning

2010

Proceedings of the 6th Workshop on Methods for Modalities (M4M-6 2009)

Bolander, T. & Braüner, T., 2010, I : Electronical Notes in Theoretical Computer Science. 262, s. 1-2

Publikation: Bidrag til tidsskriftLederForskning

2009

Preface

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

Publikation: Bidrag til tidsskriftLederForskning

2007

Proceedings of the International Workshop on Hybrid Logic 2006: Preface

Braüner, T., Blackburn, P., Bolander, T., de Paiva, V. & Villadsen, J., 2007, I : Electronical Notes in Theoretical Computer Science. 174, 6, s. 1-2 2 s.

Publikation: Bidrag til tidsskriftLederForskning

2006

The Logic of Time and Modality: Preface

Braüner, T., Hasle, P. & Øhrstrøm, P., 2006, I : Synthese. 150, 3, s. 327-328 2 s.

Publikation: Bidrag til tidsskriftLederForskning