Klaus Grue

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

8 Klaus Grue: The Layers of Logiweb. Calculemus/MKM 2007: 250-264

2006

7 Klaus Grue: Logiweb - A System for Web Publication of Mathematics. ICMS 2006: 343-353

2004

6 Klaus Grue: Logiweb. Electr. Notes Theor. Comput. Sci. 93: 70-101 (2004)

2002

5 Klaus Grue: Dedekind completion as a method for constructing new Scott domains. Electr. Notes Theor. Comput. Sci. 61: 140-153 (2002)

1999

4 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 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)

	2007
8		Klaus Grue: The Layers of Logiweb. Calculemus/MKM 2007: 250-264
	2006
7		Klaus Grue: Logiweb - A System for Web Publication of Mathematics. ICMS 2006: 343-353
	2004
6		Klaus Grue: Logiweb. Electr. Notes Theor. Comput. Sci. 93: 70-101 (2004)
	2002
5		Klaus Grue: Dedekind completion as a method for constructing new Scott domains. Electr. Notes Theor. Comput. Sci. 61: 140-153 (2002)
	1999
4		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		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)

Coauthor Index

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page