| |
| 2007 | ||
|---|---|---|
| 8 | EE | Klaus Grue: The Layers of Logiweb. Calculemus/MKM 2007: 250-264 |
| 2006 | ||
| 7 | EE | Klaus Grue: Logiweb - A System for Web Publication of Mathematics. ICMS 2006: 343-353 |
| 2004 | ||
| 6 | EE | Klaus Grue: Logiweb. Electr. Notes Theor. Comput. Sci. 93: 70-101 (2004) |
| 2002 | ||
| 5 | EE | Klaus Grue: Dedekind completion as a method for constructing new Scott domains. Electr. Notes Theor. Comput. Sci. 61: (2002) |
| 1999 | ||
| 4 | EE | Chantal Berline, Klaus Grue: A kappa-Denotational Semantics for Map Theory in ZFC+SI. Theor. Comput. Sci. 211(1-2): 397-398 (1999) |
| 1997 | ||
| 3 | EE | Chantal Berline, Klaus Grue: A kappa-Denotational Semantics for Map Theory in ZFC + SI. Theor. Comput. Sci. 179(1-2): 137-202 (1997) |
| 1992 | ||
| 2 | Klaus Grue: Map Theory. Theor. Comput. Sci. 102(1): 1-133 (1992) | |
| 1989 | ||
| 1 | Klaus Grue: Arrays in Pure Functional Programming Languages. Lisp and Symbolic Computation 2(2): 105-113 (1989) | |
| 1 | Chantal Berline | [3] [4] |