{"title":"用信息系统和抽象基表示代数Dcpo","authors":"Lankun Guo, Qingguo Li, Yaping Lin, Hongping Liu","doi":"10.1109/WCSE.2012.21","DOIUrl":null,"url":null,"abstract":"In this paper, notions of general algebraic information systems and dense abstract bases are introduced. Their relationships with algebraic dcpo's are investigated. It is shown that they both represent exactly the algebraic dcpo's. Technically, the corresponding categories of these three structures are equivalent with each other.","PeriodicalId":244586,"journal":{"name":"2012 Third World Congress on Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Representations of Algebraic Dcpo's by Information Systems and Abstract Bases\",\"authors\":\"Lankun Guo, Qingguo Li, Yaping Lin, Hongping Liu\",\"doi\":\"10.1109/WCSE.2012.21\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper, notions of general algebraic information systems and dense abstract bases are introduced. Their relationships with algebraic dcpo's are investigated. It is shown that they both represent exactly the algebraic dcpo's. Technically, the corresponding categories of these three structures are equivalent with each other.\",\"PeriodicalId\":244586,\"journal\":{\"name\":\"2012 Third World Congress on Software Engineering\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2012-11-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2012 Third World Congress on Software Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WCSE.2012.21\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2012 Third World Congress on Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WCSE.2012.21","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Representations of Algebraic Dcpo's by Information Systems and Abstract Bases
In this paper, notions of general algebraic information systems and dense abstract bases are introduced. Their relationships with algebraic dcpo's are investigated. It is shown that they both represent exactly the algebraic dcpo's. Technically, the corresponding categories of these three structures are equivalent with each other.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
