首页> 外文OA文献 >COMPLEXITY OF THE DECIDABILITY OF ONE CLASS OF FORMULAS IN QUANTIFIER-FREE SET THEORY WITH A SET-UNION OPERATOR

【2h】

COMPLEXITY OF THE DECIDABILITY OF ONE CLASS OF FORMULAS IN QUANTIFIER-FREE SET THEORY WITH A SET-UNION OPERATOR

机译：自由集合理论中一类公式的可判定性与集合算子的复杂性

页面导航

著录项
相似文献
相关主题

著录项

作者
M. Tetruashvili;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Charges of monopole operators in ADE ? documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} egin{document}$$ hat{ADE} $$end{document} Chern-Simons quiver gauge theories [J] . Moumita Patra The journal of high energy physics . 2020,第6期

机译：monopole运算符在<内联公式id =“ieq1”> ade < / mml：mi> ？ DocumentClass [12pt] { minimal} usepackage {ammath} usepackage {isysym} usepackage {amsfonts} usepackage {amssymb} usepackage {amsbsy} usepackage {mathrsfs} usepackage {supmeek} setLength { oddsideDemargin} {-69pt} begin { Document} $$ hat {ade} $$ end {document} Chern-Simons 颤抖仪表理论
2. Loop operators in three-dimensional N documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} egin{document}$$ mathcal{N} $$end{document} = 2 fishnet theories [J] . Jun-bao Wu, Jia Tian, Bin Chen The journal of high energy physics . 2020,第7期

机译：循环运算符在三维<内联公式id =“IEQ1”> <替代方案> N documentClass [12pt] {minimal} usepackage {ammath} usepackage {isysym} usepackage {amsfonts} usepackage {amssymb} usepackage {amsbsy} usepackage {mathrsfs} usepackage {supmeek} setLength { oddsidemargin} {-69pt} begin {document} $$$ nathcal {n} $$ natmal {n} $$ neat {document} = 2个渔网理论
3. Spin-1/2 fermionic operators of N documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} egin{document}$$ mathcal{N} $$end{document} = 4 SYM theory and DIS from type IIB supergravity [J] . David Jorrin, Gustavo Michalski, Martin Schvellinger The journal of high energy physics . 2020,第6期

机译： <替代方案> n documentClass [12pt] {minimal} usepackage {ammath} usepackage {isysym} usepackage {amsfonts} usepackage {amssymb} usepackage {amsbsy} usepackage { mathrsfs} usepackage {supmeek} setLength { oddsidemargin} { - 69pt} begin {document} $$$ nathcal {n} $$ natmal {n} $$ end {document} <内联-graphic xlink：href = “13130_2020_13162_article_ieq1.gif”/> = 4 sym Iib supletravity类型的sym理论和dis
4. On the universal theory of varieties of distributive lattices with operators: some decidability and complexity results [C] . Viorica Sofronie-Stokkermans International conference on automated deduction . 1999

机译：关于运营商的普遍理论的分配格子：一些可解锁性和复杂性结果
5. Checking validity of quantifier-free formulas in combinations of first-order theories. [D] . Barrett, Clark Wayne. 2003

机译：结合一阶理论检查无量词公式的有效性。
6. Well-posedness for a class of generalized variational-hemivariational inequalities involving set-valued operators [O] . Caijing Jiang -1

机译：一类涉及集值算子的广义变分半偏不等式的适定性
7. Decision procedures for elementary sublanguages of set theory. III. Restricted classes of formulas involving the power set operator and the general set union operator [O] . Breban Michael, Ferro Alfredo 1984

机译：集合论基本子语言的决策程序。三，涉及幂集运算符和通用集联合运算符的受限制的公式类别
8. Deciding Quantifier-Free Presburger Formulas using Finite Instantiation based on Parameterized Solution Bounds [R] . Seshia, S. A. , Bryant, R. E. 2003

机译：基于参数化解边界的有限实例确定无量词预分类公式

COMPLEXITY OF THE DECIDABILITY OF ONE CLASS OF FORMULAS IN QUANTIFIER-FREE SET THEORY WITH A SET-UNION OPERATOR

著录项

相似文献

相关主题

期刊订阅