Dedekind completion as a method for constructing new Scott domains
Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
Standard
Dedekind completion as a method for constructing new Scott domains. / Grue, Klaus; Harland, James.
CATS/02, Computing: the Australasian Theory Symposium (ENTCS 61). Amsterdam : Elsevier, 2002. p. 1-14.Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
Harvard
Grue, K & Harland, J 2002, Dedekind completion as a method for constructing new Scott domains. in CATS/02, Computing: the Australasian Theory Symposium (ENTCS 61). Elsevier, Amsterdam, pp. 1-14.
APA
Grue, K., & Harland, J. (2002). Dedekind completion as a method for constructing new Scott domains. In CATS/02, Computing: the Australasian Theory Symposium (ENTCS 61) (pp. 1-14). Elsevier.
Vancouver
Grue K, Harland J. Dedekind completion as a method for constructing new Scott domains. In CATS/02, Computing: the Australasian Theory Symposium (ENTCS 61). Amsterdam: Elsevier. 2002. p. 1-14
Author
Bibtex
@inbook{56a6c5a074be11dbbee902004c4f4f50,
title = "Dedekind completion as a method for constructing new Scott domains",
abstract = "Scott dom{\ae}ne, Dedekind snit",
author = "Klaus Grue and James Harland",
year = "2002",
language = "English",
isbn = "0444510850",
pages = "1--14",
booktitle = "CATS/02, Computing: the Australasian Theory Symposium (ENTCS 61)",
publisher = "Elsevier",
address = "Netherlands",
}
RIS
TY - GEN
T1 - Dedekind completion as a method for constructing new Scott domains
AU - Grue, Klaus
AU - Harland, James
PY - 2002
Y1 - 2002
N2 - Scott domæne, Dedekind snit
AB - Scott domæne, Dedekind snit
M3 - Report chapter
SN - 0444510850
SP - 1
EP - 14
BT - CATS/02, Computing: the Australasian Theory Symposium (ENTCS 61)
PB - Elsevier
CY - Amsterdam
ER -
ID: 16366