• Universitetsvej 1, 10.2

    DK-4000 Roskilde

    Denmark

Filter
Preface/postscript

Search results

  • 2023

    Preface

    Lopez-Garcia, P., Gallagher, J. & Giacobazzi, R., 2023, Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. Lopez-Garcia, P., Gallagher, J. P. & Giacobazzi, R. (eds.). Festschrift ed. Springer, Vol. 13160 LNCS. p. vii-ix 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Research output: Chapter in Book/Report/Conference proceedingPreface/postscriptResearch

  • 2011

    Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011: Editorial

    Gallagher, J. P. & Gelfond, M., Jul 2011, ICLP (Technical Communications). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Vol. 11. (Leibniz International Proceedings in Informatics).

    Research output: Chapter in Book/Report/Conference proceedingPreface/postscriptResearch

  • 2010

    Foreword

    Gallagher, J. & Voigtländer, J., 2010, Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation. Gallagher, J. & Voigtländer, J. (eds.). Association for Computing Machinery, p. iii (Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation).

    Research output: Chapter in Book/Report/Conference proceedingPreface/postscriptResearchpeer-review