Robert Glück

Robert Glück


Medlem af:

    1. 2021
    2. Udgivet

      An inversion tool for conditional term rewriting systems - a case study of Ackermann inversion

      Mikkelsen, M. B., Glück, Robert & Kirkeby, M. H., 2021, Proceedings of the 9th International Workshop on Verification and Program Transformation. Lisitsa, A. & Nemytykh, A. P. (red.)., s. 33-41 9 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 341).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    3. Udgivet

      Towards a unified language architecture for reversible object-oriented programming

      Hay-Schmidt, L., Glück, Robert, Cservenka, M. H. & Haulund, T., 2021, Reversible Computation.: 13th International Conference, RC 2021 Virtual Event, July 7–8, 2021 Proceedings. Yamashita, S. & Yokoyama, T. (red.). Springer, s. 96-106 11 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12805 LNCS).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    ID: 9668