QQ客服 官方微博 反馈留言

	Locally complete consistent F-augmented contexts: A category-theoretic representation of algebraic L-domains
	Guo, Lankun; Li, Qingguo; Yao, Lingjuan
刊名	DISCRETE APPLIED MATHEMATICS
	2018
卷号	Vol.249页码:53-63
关键词	Algebraic L-domain Locally complete consistent F-augmented context Category equivalence
ISSN号	0166-218X
URL标识	查看原文
公开日期	[db:dc_date_available]
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/5459198
专题	湖南大学
作者单位	1.Hunan Normal Univ, Key Lab High Performance Comp & Stochast Informat, Minist Educ China, Coll Math & Comp Sci, Changsha 410081, Hunan, Peoples R China 2.Hunan Univ, Coll Math & Econometr, Changsha 410082, Hunan, Peoples R China
推荐引用方式 GB/T 7714	Guo, Lankun,Li, Qingguo,Yao, Lingjuan. Locally complete consistent F-augmented contexts: A category-theoretic representation of algebraic L-domains[J]. DISCRETE APPLIED MATHEMATICS,2018,Vol.249:53-63.
APA	Guo, Lankun,Li, Qingguo,&Yao, Lingjuan.(2018).Locally complete consistent F-augmented contexts: A category-theoretic representation of algebraic L-domains.DISCRETE APPLIED MATHEMATICS,Vol.249,53-63.
MLA	Guo, Lankun,et al."Locally complete consistent F-augmented contexts: A category-theoretic representation of algebraic L-domains".DISCRETE APPLIED MATHEMATICS Vol.249(2018):53-63.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。