Dedekind completion as a method for constructing new Scott domains
Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling
Scott domæne, Dedekind snit
| Originalsprog | Engelsk |
|---|---|
| Titel | CATS/02, Computing: the Australasian Theory Symposium (ENTCS 61) |
| Udgivelsessted | Amsterdam |
| Forlag | Elsevier |
| Publikationsdato | 2002 |
| Sider | 1-14 |
| ISBN (Trykt) | 0444510850 |
| Status | Udgivet - 2002 |
ID: 16366