Mikkel Thorup
Professor
ORCID: 0000-0001-5237-1709
1 - 2 ud af 2Pr. side: 50
- 1990
On conservative extensions of syntax in the process of system development
Blikle, A. & Thorup, Mikkel, 1990, Proceedings of VDM'90, VDM and Z---Formal Methods in Software Development, LNCS 428. Springer, s. 504-525 22 s. (Lecture notes in computer science, Bind 428).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Zenons paradoks -- ren logik eller snedig rethorik
Thorup, Mikkel, 1990, I: Kvant, Fysisk Tidskrift. 1, s. 24-26 3 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
ID: 34257574
Flest downloads
-
2499
downloads
Coloring 3-colorable graphs with o(n 1/5) colors
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
131
downloads
Incremental exact min-cut in poly-logarithmic amortized update time
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
104
downloads
Bottleneck paths and trees and deterministic graphical games
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet