Torben Ægidius Mogensen
Lektor
Programming Languages and Theory of Computing
Universitetsparken 5, 2100 København Ø, 01 Sigurdsgade 41, Bygning: 01-0-08
Medlem af:
ORCID: 0000-0003-4862-9193
1 - 2 ud af 2Pr. side: 500
- 2005
- Udgivet
Report on an Implementation of a Semi-Inverter
Mogensen, Torben Ægidius, 2005, Proceedings of the 1st DIKU-IST Joint Workshop on Foundations of Software.. 05/07 udg. Museum Tusculanum, s. 54-62 9 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning
- Udgivet
Semi-Inversion of Guarded Equations
Mogensen, Torben Ægidius, 2005, Generative Programming and Component-Engineering 2005. 3676 udg. Berlin: Springer, s. 189-204 16 s.Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
ID: 3086
Flest downloads
-
5669
downloads
Planet map generation by tetrahedral subdivision
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
4555
downloads
Troll, a Language for specifying Dice-rolls
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
108
downloads
A comparison of well-quasi orders on trees
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning
Udgivet