![]() | ![]() |
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] |