再问科研
基金查询
学科分析
选题分析
AI润色(Beta)
新闻公告
趋势报告
经验分享
登录
注册
汪开云
面上项目
项目编号:
11871320 【年份:2018】
项目名称:
Domain理论与Quantale代数的相关问题研究
资助金额:
52万
单位名称:
陕西师范大学
学科分类:
A0602.信息技术与不确定性的数学理论与方法
参与者:
陕西师范大学
Domain理论与Quantale代数的相关问题研究
项目批准号:
11871320
批准年份:
2018
学科分类:
A0602.信息技术与不确定性的数学理论与方法
项目负责人:
汪开云
资助类别:
面上项目
负责人职称:
教授
依托单位:
陕西师范大学
资助金额:
52万元
关键词:
Quantale代数;模糊Domain;Domain逻辑;Domain;线性逻辑
起止时间:
2019-01-01到2022-12-31
中英文摘要
结题摘要
结题报告
项目成果
项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
标题
类型
全部
期刊论文
会议论文
著作
奖励
专利
作者
搜索
重置
序号
标题
类型
作者
1
Nonexistence of k-bounded sobrification
期刊论文
Jing Lu;Kaiyun Wang;Guohua Wu;Bin Zhao
2
量化Domain理论
专著
汪开云;鲁静;赵彬
3
On the quantale of quantic nuclei
期刊论文
Shengwei Han
4
Z-Quantale的表示定理
期刊论文
杜佳慧;刘敏
5
Quasicontinuous spaces
期刊论文
Jing Lu;Bin Zhao;Kaiyun Wang;Dongsheng Zhao
6
Cartesian closedness of a category of non-frame valued complete fuzzy orders
期刊论文
Min Liu
7
Irreducible convergence in T0 spaces
期刊论文
Bin Zhao;Jing Lu;Kaiyun Wang
8
Fuzzy closure operators and their applications
期刊论文
Shengwei Han;Rongrong Wang
9
SI-continuous spaces and continuous posets
期刊论文
Jing Lu;Bin Zhao;Kaiyun Wang
10
Bounded sobriety and k-bounded sobriety of Q-cotopological spaces
期刊论文
Yujing Zhang;Kaiyun Wang
11
The existence of states based on Glivenko semihoops
期刊论文
Pengfei He;Juntao Wang;Jiang Yang
12
A compact space is not always SI-compact
期刊论文
Zhengmao He;Kaiyun Wang
13
Some further results on free quantale algebras
期刊论文
Hongwei Wu;Bin Zhao;Kaiyun Wang
14
Big Ramsey degrees in universal inverse limit structures
期刊论文
Natasha Dobrinen;Kaiyun Wang
15
The answer to a problem posed by Zhao and Ho
期刊论文
Bin Zhao;Jing Lu;Kaiyun Wang
查看更多信息请先登录或注册
相关项目
1
多体系统纠缠描述和分布的研究
2
基于局部Rademacher复杂度的多标记模糊多核学习研究
3
量子关联在多体系统中的分布及其应用
趋势报告
国自然申请攻略干货全集(1月30日大更新)
【专业会员】独享&免费内容合集
2023年国自然二级学科资助率汇总
经验分享
国自然申请攻略干货全集(1月30日大更新)
【专业会员】独享&免费内容合集
2023年国自然二级学科资助率汇总
年份:
请选择
2022年
2021年
2020年
2019年
2018年
2017年
2016年
2015年
2014年
2013年
2012年
2011年
2010年
2009年
2008年
2007年
2006年
2005年
2004年
2003年
2002年
2001年
2000年
1999年
1998年
1997年
1996年
1995年
1994年
1993年
1992年
1991年
1990年
1989年
1988年
项目负责人:
单位名称:
提交
由于2020年国自然政策发生变化,若您身边有2020年获得过国自然的请提交一下