Klaus Grue

Klaus Grue

Emeritus


Publication year:
All
1 - 10 out of 13Page size: 10
  1. 2016
  2. Published

    A synthetic axiomatization of Map Theory

    Berline, C. & Grue, Klaus, 2016, In: Theoretical Computer Science. 614, p. 1-62 62 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  3. 2006
  4. Published

    Logiweb - a system for web publication of mathematics

    Grue, Klaus, 2006, Mathematical Software - ICMS 2006: Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings. Iglesias, A. & Takayama, N. (eds.). Springer, p. 343-353 11 p. (Lecture notes in computer science, Vol. 4151).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  5. 2004
  6. Published

    Logiweb

    Grue, Klaus, 2004, In: Electronic Notes in Theoretical Computer Science. 93, p. 70-101

    Research output: Contribution to journal › Journal article › Research › peer-review

  7. 2002
  8. Published

    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, p. 1-14

    Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication

  9. 2001
  10. Published

    Lambda-calculus as a foundation for mathematics, Synthese Library, Vol.305

    Grue, Klaus, 2001, Logic, Meaning and Computation, Essays in Memory of Alonzo Church. Dordrecht: Kluwer Academic Publishers, p. 289-314

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  11. 1997
  12. Published

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

    Berline, C. & Grue, Klaus, 1997, In: Theoretical Computer Science. Vol. 179, nr. 1-2, p. 137-202

    Research output: Contribution to journal › Journal article › Research

  13. 1996
  14. Published

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

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

    Research output: Book/Report › Report › Communication

  15. Published

    Stable map theory

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

    Research output: Book/Report › Report › Communication

  16. 1992
  17. Published

    Map Theory

    Grue, Klaus, 1992, In: Theoretical Computer Science. 102, p. 1-133

    Research output: Contribution to journal › Journal article › Research

  18. 1991
  19. Published

    Expert Operator's Associate: A Knowledge Based System For Spacecraft Control

    Grue, Klaus, Nielsen, M. & Lecouat, F., 1991, Proceedings from the 1991 Goddard Conference on Space Applications of Artificial Intellience, Greenbelt, Maryland, May 1991.

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

Previous 1 2 Next

ID: 283753155