| ชื่อเรื่อง | : | Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract) |
| นักวิจัย | : | Fiore, Marcelo P , Plotkin, Gordon , Power, John |
| คำค้น | : | Laboratory for Foundations of Computer Science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2546 |
| อ้างอิง | : | http://hdl.handle.net/1842/216 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | 12 |
| บทคัดย่อ/คำอธิบาย | : | We study the enrichment of models of axiomatic do- main theory. To this end, we introduce a new and broader notion of domain, viz. that of complete cuboidal set, that complies with the axiomatic requirements. We show that the category of complete cuboidal sets provides a general notion of enrichment for a wide class of axiomatic domain-theoretic structures. |
| บรรณานุกรม | : |
Fiore, Marcelo P , Plotkin, Gordon , Power, John . (2546). Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract).
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Fiore, Marcelo P , Plotkin, Gordon , Power, John . 2546. "Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract)".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Fiore, Marcelo P , Plotkin, Gordon , Power, John . "Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract)."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2546. Print. Fiore, Marcelo P , Plotkin, Gordon , Power, John . Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract). กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2546.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
