Mikkel Thorup

Mikkel Thorup

Professor

Medlem af:

    ORCID: 0000-0001-5237-1709

    Udgivelsesår:
    Alle
    1 - 2 ud af 2Pr. side: 10
    Sortering: Udgivelsesdato
    1. 1990

    2. 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

    3. 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