Robert Glück

Robert Glück

Professor

ORCID: 0000-0001-6990-3935

Udgivelsesår:
Alle
1 - 2 ud af 2Pr. side: 10
Sortering: Udgivelsesdato
  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.). arxiv.org, s. 33-41 9 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 341).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

  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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

ID: 9668