Robert Glück
Professor
- 2022
GPCE 2022 (Begivenhed)
Glück, Robert (Medlem)
2022Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
PEPM 2022 (Begivenhed)
Glück, Robert (Medlem)
2022Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
RC 2022 (Begivenhed)
Glück, Robert (Medlem)
2022Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
miniKanren 2022 (Begivenhed)
Glück, Robert (Medlem)
2022Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
- 2021
RC 2021 (Begivenhed)
Glück, Robert (Medlem)
2021Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
- 2020
GPCE 2020 (Begivenhed)
Glück, Robert (Medlem)
2020Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
LOPSTR 2020 (Begivenhed)
Glück, Robert (Medlem)
2020Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
PEPM 2020 (Begivenhed)
Glück, Robert (Medlem)
2020Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
RC 2020 (Begivenhed)
Glück, Robert (Medlem)
2020Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
- 2019
GPCE 2019 (Begivenhed)
Glück, Robert (Medlem)
2019Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
ID: 9668
Flest downloads
-
269
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Udgivet -
207
downloads
A categorical foundation for structured reversible flowchart languages
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet -
124
downloads
Simulation of two-way pushdown automata revisited
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
Udgivet