首页> 外文OA文献 >On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results

【2h】

On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results

机译：关于带算子的分配格的泛型理论：判定性和复杂性的一些结果

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Viorica Sofronie-stokkermans;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators [J] . Viorica Sofronie-Stokkermans urnal of Symbolic Computation . 2003,第6期

机译：一类带有算子的分配格的通用理论基于分辨率的决策程序
2. Partial algebras and complexity of satisfiability and universal theory for distributive lattices, boolean algebras and Heyting algebras [J] . C. J. van Alten Theoretical computer science . 2013,第Null期

机译：部分代数和可满足性的复杂性以及分布格，布尔代数和Heyting代数的通用理论
3. Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids [J] . Shkatov Dmitry, Van Alten C. J. Algebra Universalis . 2019,第3期

机译：有界循环分布晶格有序基状概况的普遍理论的复杂性
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. Abelian Varieties and Decidability in Number Theory [D] . Springer, Caleb. 2021

机译：雅典主义品种和数量理论的可解除性
6. Construction of Nullnorms Based on Closure and Interior Operators on Bounded Lattices [O] . Gül Deniz Çaylı -1

机译：有界格上基于闭包和内部算子的零范数的构造
7. Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators [O] . Sofronie-Stokkermans Viorica 2003

机译：一类带有算子的分配格的通用理论基于分辨率的决策程序

On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results

著录项

引文网络

相似文献

相关主题

期刊订阅