SUFFICIENT CONDITIONS FOR DECIDABILITY OF BOOLEAN ALGEBRAS

M. N Leonteva

首页> 外文期刊>Journal of Mathematical Sciences >SUFFICIENT CONDITIONS FOR DECIDABILITY OF BOOLEAN ALGEBRAS

【24h】

SUFFICIENT CONDITIONS FOR DECIDABILITY OF BOOLEAN ALGEBRAS

机译：布尔代数可判定性的充分条件

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We study the decidability of Boolean algebras in terms of computability of canonical ideals and prove the sufficiency of conditions in the case of Boolean algebras of all elementary characteristics. Bibliography: 11 titles.

机译：我们根据规范理想的可计算性研究布尔代数的可判定性，并证明在具有所有基本特征的布尔代数的情况下条件的充分性。参考书目：11种。

著录项

来源
《Journal of Mathematical Sciences》 |2013年第6期|827-831|共5页
作者
M. N Leonteva;
展开▼
作者单位

Novosibirsk State University 2, ul. Pirogova, Novosibirsk 630090, Russia;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. THE MINIMALITY OF CERTAIN DECIDABILITY CONDITIONS FOR BOOLEAN ALGEBRAS [J] . M. N. Leontyeva Siberian Mathematical Journal . 2012,第1期

机译：布尔代数的某些可确定性条件的极小性
2. HOW TO DECIDE CONSENSUS? A COMBINATORIAL NECESSARY AND SUFFICIENT CONDITION AND A PROOF THAT CONSENSUS IS DECIDABLE BUT NP-HARD [J] . Blondel Vincent D., Olshevsky Alex SIAM Journal on Control and Optimization . 2014,第5期

机译：如何决定共识？组合的必要条件和充分的证据证明NP-HARD是可以确定的
3. Deciding the word problem in pure double Boolean algebras [J] . Philippe Balbiani Journal of Applied Logic . 2012,第3期

机译：确定纯双布尔代数中的单词问题
4. An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic [C] . Viktor Kuncak, Huu Hai Nguyen, Martin Rinard International Conference on Automated Deduction; 20050722-27; Tallinn(EE) . 2005

机译：确定BAPA的算法：具有Presburger算法的布尔代数
5. I. A necessary and sufficient condition that a curve lie on a quadric surface; II. A necessary and sufficient condition that a curve lie on a hyperquadric. [D] . Graue, Louis C. 1950

机译：一，曲线位于二次曲面上的充要条件；二。曲线位于二次方上的必要和充分条件。
6. Identification of control targets in Boolean molecular network models via computational algebra [O] . David Murrugarra, Alan Veliz-Cuba, Boris Aguilar, 2016

机译：通过计算代数识别布尔分子网络模型中的控制目标
7. How to Decide Consensus? A Combinatorial Necessary and Sufficient Condition and a Proof that Consensus is Decidable but NP-Hard [O] . Blondel, Vincent, Olshevsky, Alexander 2014

机译：如何确定共识？组合的必要和充分条件，以及可以确定但NP-Hard的证明

SUFFICIENT CONDITIONS FOR DECIDABILITY OF BOOLEAN ALGEBRAS

摘要

著录项

相似文献

相关主题

期刊订阅