Programming Languages and Theory of Computing

Read more
51 - 60 out of 271Page size: 10
  1. 2022
  2. Published

    Discounted Repeated Games Having Computable Strategies with No Computable Best Response under Subgame-Perfect Equilibria

    Dargaj, J. & Simonsen, Jakob Grue, 2022, In: ACM Transactions on Economics and Computation. 10, 1, p. 1-39 3.

    Research output: Contribution to journal › Journal article › Research › peer-review

  3. Published

    Combinatory Adjoints and Differentiation

    Elsman, Martin, Henglein, Fritz, Kaarsgaard, R., Mathiesen, Mikkel Kragh & Schenck, R., 2022, Proceedings Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022).. EPTCS, Vol. 360. p. 1-26 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 360).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  4. Published

    Preface

    Elsman, Martin, 2022, Proceedings - 34th Symposium on Implementation and Application of Functional Languages, IFL 2022. Association for Computing Machinery, Inc., p. IV (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

  5. Published

    From reversible programming languages to reversible metalanguages

    Glück, Robert, Kaarsgaard, R. & Yokoyama, T., 2022, In: Theoretical Computer Science. 920, p. 46-63 18 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  6. Published

    Making programs reversible with minimal extra data

    Glück, Robert & Yokoyama, T., 2022, In: New Generation Computing. 40, 2, p. 467-480

    Research output: Contribution to journal › Journal article › Research › peer-review

  7. Published

    Reversible programming: a case study of two string-matching algorithms

    Glück, Robert & Yokoyama, T., 2022, Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation. Hamilton, G. W., Kahsai, T. & Proietti, M. (eds.). arXiv.org, p. 1-13 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 373).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  8. Published

    Persistent Topology of Protein Space

    Hamilton, W., Borgert, J. E., Hamelryck, Thomas Wim & Marron, J. S., 2022, Research in Computational Topology 2. Springer, p. 223-244 (Association for Women in Mathematics Series, Vol. 30).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  9. Published

    Identification of soil type in Pakistan using remote sensing and machine learning

    Haq, Y. U., Shahbaz, M., Asif, H. M. S., Al-Laith, Ali Mohammed Ali, Alsabban, W. & Aziz, M. H., 2022, In: PeerJ Computer Science. 8, 19 p., e1109.

    Research output: Contribution to journal › Journal article › Research › peer-review

  10. Published

    Algeo: An Algebraic Approach to Reversibility

    Henglein, Fritz, Kaarsgaard, R. & Mathiesen, Mikkel Kragh, 2022, Reversible Computation - 14th International Conference, RC 2022, Proceedings. Mezzina, C. A. & Podlaski, K. (eds.). Springer, p. 128-145 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13354 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  11. Published

    The Programming of Algebra

    Henglein, Fritz, Kaarsgaard, R. & Mathiesen, Mikkel Kragh, Jun 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 360, p. 71-92 22 p.

    Research output: Contribution to journal › Conference article › Research › peer-review

Previous 12 3 4 5 6 7 8 9 ...28 Next