Filter
Foreword/postscript

Search results

  • Foreword/postscript

    PAINT 2022: Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments

    Beckmann, T., Hirschfeld, R., Sáenz, J. P. & Merino, M. V., 1 Dec 2022, PAINT 2022: Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments. ACM, p. III-IV 2 p.

    Research output: Chapter in Book / Report / Conference proceedingForeword/postscriptAcademic

  • Preface

    Fokkink, W. & van Glabbeek, R., Aug 2019, 30th International Conference on Concurrency Theory: CONCUR 2019, August 27–30, 2019, Amsterdam, the Netherlands. Fokkink, W. & van Glabbeek, R. (eds.). p. ix-x 2 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

    Research output: Chapter in Book / Report / Conference proceedingForeword/postscriptAcademic

    Open Access
  • Preface

    Blanchette, J., Kovács, L. & Pattinson, D., 2022, Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings. Blanchette, J., Kovács, L. & Pattinson, D. (eds.). Springer, p. v-v 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13385 LNAI).

    Research output: Chapter in Book / Report / Conference proceedingForeword/postscriptAcademic