Klaus Grue
Emeritus
Datalogisk Institut
Universitetsparken 1, 2100 København Ø
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
- 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
- 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-202Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning
- 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
- Udgivet
Stable map theory
Grue, Klaus, 1996, Datalogisk Institut, Københavns Universitet.Publikation: Bog/antologi/afhandling/rapport › Rapport › Formidling
- 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-14Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling
- 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
- 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-314Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- Udgivet
Logiweb
Grue, Klaus, 2004, I: Electronic Notes in Theoretical Computer Science. 93, s. 70-101Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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
- 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. 390Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
ID: 283753155