Publikationer pr. år
Publikationer pr. år
Publikation
-
A synthetic axiomatization of Map Theory
Berline, C. & Grue, K. E., 2016, I: Theoretical Computer Science. 614, s. 1-62 62 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
1 Citationer (Scopus) -
Logiweb - a system for web publication of mathematics
Grue, K. E., 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 › peer review
2 Citationer (Scopus) -
Logiweb
Grue, K., 2004, I: Electronic Notes in Theoretical Computer Science. 93, s. 70-101Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Dedekind completion as a method for constructing new Scott domains
Grue, K. & 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
-
Lambda-calculus as a foundation for mathematics, Synthese Library, Vol.305
Grue, K., 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
-
A kappa-denotational semantics for Map Theory in ZFC+SI
Berline, C. & Grue, K., 1997, I: Theoretical Computer Science. Vol. 179, nr. 1-2, s. 137-202Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning
-
A kappa-denotational semantics for Map Theory in ZFC+SI
Berline, C. & Grue, K., 1996, Datalogisk Institut, Københavns Universitet.Publikation: Bog/antologi/afhandling/rapport › Rapport › Formidling
-
Stable map theory
Grue, K., 1996, Datalogisk Institut, Københavns Universitet.Publikation: Bog/antologi/afhandling/rapport › Rapport › Formidling