Klaus Grue

Klaus Grue

Emeritus


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

    Dedekind completion as a method for constructing new Scott domains

    Grue, Klaus & Harland, J., 2002, CATS/02, Computing: the Australasian Theory Symposium (ENTCS 61). Amsterdam: Elsevier, s. 1-14

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling

  3. 1996
  4. Udgivet

    A kappa-denotational semantics for Map Theory in ZFC+SI

    Berline, C. & Grue, Klaus, 1996, Datalogisk Institut, Københavns Universitet.

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Formidling

  5. Udgivet

    Stable map theory

    Grue, Klaus, 1996, Datalogisk Institut, Københavns Universitet.

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Formidling

ID: 283753155