Klaus Grue

Klaus Grue

Emeritus


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

    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. s. 9

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

  3. 1991
  4. Udgivet

    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.

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

  5. Udgivet

    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.

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

  6. Udgivet

    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, s. 390

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

  7. 1992
  8. Udgivet

    Map Theory

    Grue, Klaus, 1992, I: Theoretical Computer Science. 102, s. 1-133

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  9. 1996
  10. 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

  11. Udgivet

    Stable map theory

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

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

  12. 1997
  13. Udgivet

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

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  14. 2001
  15. Udgivet

    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, s. 289-314

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

  16. 2002
  17. 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

Forrige 1 2 Næste

ID: 283753155