Klaus Grue

Klaus Grue

Emeritus


Publication year:
All
1 - 13 out of 13Page size: 100
  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

  20. Published

    Knowledge-Based Assistance for Generating and Executing Space Operation Procedures

    Grue, Klaus, Nielsen, M. & Lecouat, F., 1991, ESA workshop on Artificial Intelligence and Knowledge-Based Systems for Space, May 1991.

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

  21. Published

    The importance of cardinality, separability and compactness in computer science with an example from numerical signal analysis

    Grue, Klaus, 1991, Topology and Category Theory in Computer Science. Oxford: Clarendon Press, p. 390

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

  22. 1990
  23. Published

    Expert Operator's Associate: An Expert System for Spacecraft Control

    Grue, Klaus, Nielsen, M., Olalainty, B., Lecouat, F. & Wheadon, J., 1990, Proc.ESA Symp.: "Ground Data System for Spacecraft Control", Darmstadt, FRG, 26-29 June 1990. p. 9

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

ID: 283753155