Klaus Grue

Publication Activity (10 Years)

Years Active: 1989-2016
Publications (10 Years): 1

Top Topics

Clustering Algorithm

Top Venues

Theor. Comput. Sci.

Publications

Chantal Berline, Klaus Grue
A synthetic axiomatization of Map Theory. Theor. Comput. Sci. 614 (2016)
Klaus Grue
The Layers of Logiweb. Calculemus/MKM (2007)
Klaus Grue
Logiweb - A System for Web Publication of Mathematics. ICMS (2006)
Klaus Grue
Logiweb. Electron. Notes Theor. Comput. Sci. 93 (2004)
Klaus Grue
Dedekind completion as a method for constructing new Scott domains. Electron. Notes Theor. Comput. Sci. 61 (2002)
Chantal Berline, Klaus Grue
A kappa-Denotational Semantics for Map Theory in ZFC+SI. Theor. Comput. Sci. 211 (1-2) (1999)
Chantal Berline, Klaus Grue
A kappa-Denotational Semantics for Map Theory in ZFC + SI. Theor. Comput. Sci. 179 (1-2) (1997)
Klaus Grue
Map Theory. Theor. Comput. Sci. 102 (1) (1992)
Klaus Grue
Arrays in Pure Functional Programming Languages. LISP Symb. Comput. 2 (2) (1989)