Mikkel Thorup

Mikkel Thorup

Professor

Medlem af:

    ORCID: 0000-0001-5237-1709

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

    2. On conservative extensions of syntax in system development

      Blikle, A., Tarlecki, A. & Thorup, Mikkel, 1991, I: Theoretical Computer Science. 90, 1, s. 209-233 25 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    ID: 34257574