Billede af John Patrick Gallagher

Vis Scopus-profil

John Patrick Gallagher

B.A. & Ph.D.

 https://orcid.org/0000-0001-6984-7419

  • Universitetsvej 1, 10.2

    DK-4000 Roskilde

    Danmark

Filter
Forord/efterskrift

Søgeresultater

  • 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. (red.). Festschrift udg. Springer, Bind 13160 LNCS. s. vii-ix 3 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Publikation: Bidrag til bog/antologi/rapport › Forord/efterskrift › Forskning

  • 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, Bind 11. (Leibniz International Proceedings in Informatics).

    Publikation: Bidrag til bog/antologi/rapport › Forord/efterskrift › Forskning

  • 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. (red.). Association for Computing Machinery, s. iii (Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation).

    Publikation: Bidrag til bog/antologi/rapport › Forord/efterskrift › Forskning › peer review