Klaus Grue

Klaus Grue

Emeritus


Udgivelsesår:
Alle
1 - 10 ud af 13Pr. side: 10
Sortering: Titel
  1. 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

  2. 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

  3. Udgivet

    A synthetic axiomatization of Map Theory

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

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

  4. 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

  5. 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

  6. 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

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

  8. 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

  9. Udgivet

    Logiweb

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

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

  10. Udgivet

    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. (red.). Springer, s. 343-353 11 s. (Lecture notes in computer science, Bind 4151).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Forrige 1 2 Næste

ID: 283753155