论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 基础科学期刊 \
- 大学学报期刊 \
- 贵州大学学报(自然科学版)期刊 \
一个极小不可满足公式子类的等价结构
一个极小不可满足公式子类的等价结构
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
研究一个极小不可满足公式子类(MAX(1))的等价结构.考虑了MAX(1)上的变元改名问题和文字改名问题.此两个问题均可在O(nlog2(n))时间内可解.
推荐文章
关于Banach空间的一个等价性质
Banach空间
线性算子
可表示性
丛倾斜子范畴的一个等价刻画
倾斜理论
2-Calabi-Yau三角范畴
丛倾斜子范畴
欧拉公式的一个应用
列表非正常染色
(L,d)*-染色
(m,d)*-可选的
欧拉公式
李普希兹条件的一个等价命题
李普希兹条件
绝对连续
等价的
一致连续
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 一个极小不可满足公式子类的等价结构 | ||
| 来源期刊 | 贵州大学学报(自然科学版) | 学科 | 数学 |
| 关键词 | 极小不可满足公式 改名 等价结构 | ||
| 年，卷（期） | 2001,（2） | 所属期刊栏目 | 专题研究 |
| 研究方向 | 页码范围 | 79-89,102 | |
| 页数 | 12页 | 分类号 | O243 |
| 字数 | 语种 | 中文 | |
| DOI | 10.3969/j.issn.1000-5269.2001.02.001 | ||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (5)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
1983(1)
- 参考文献（1）
- 二级参考文献（0）
1984(2)
- 参考文献（2）
- 二级参考文献（0）
1988(1)
- 参考文献（1）
- 二级参考文献（0）
1998(1)
- 参考文献（1）
- 二级参考文献（0）
2001(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
极小不可满足公式
改名
等价结构
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
贵州大学学报(自然科学版)
主办单位：
贵州大学
出版周期：
双月刊
ISSN：
1000-5269
CN：
52-5002/N
开本：
16开
出版地：
贵州省贵阳市花溪
邮发代号：
创刊时间：
1982
语种：
chi
出版文献量（篇）
3181
总下载数（次）
5
总被引数（次）
11240
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
力学
化学
地球物理学
地质学
基础科学综合
大学学报
天文学
天文学、地球科学
数学
气象学
海洋学
物理学
生物学
生物科学
自然地理学和测绘学
自然科学总论
自然科学理论与方法
资源科学
非线性科学与系统科学
贵州大学学报(自然科学版)2022
贵州大学学报(自然科学版)2021
贵州大学学报(自然科学版)2020
贵州大学学报(自然科学版)2019
贵州大学学报(自然科学版)2018
贵州大学学报(自然科学版)2017
贵州大学学报(自然科学版)2016
贵州大学学报(自然科学版)2015
贵州大学学报(自然科学版)2014
贵州大学学报(自然科学版)2013
贵州大学学报(自然科学版)2012
贵州大学学报(自然科学版)2011
贵州大学学报(自然科学版)2010
贵州大学学报(自然科学版)2009
贵州大学学报(自然科学版)2008
贵州大学学报(自然科学版)2007
贵州大学学报(自然科学版)2006
贵州大学学报(自然科学版)2005
贵州大学学报(自然科学版)2004
贵州大学学报(自然科学版)2003
贵州大学学报(自然科学版)2002
贵州大学学报(自然科学版)2001
贵州大学学报(自然科学版)2000
