On the Relationship Between the Complexity of Decidability and Decomposability of First-Order Theories

被引：0

作者：

D. Ponomaryov

机构：

[1] Ershov Institute of Informatics Systems,

[2] Novosibirsk State University,undefined

来源：

Lobachevskii Journal of Mathematics | 2021年 / 42卷

关键词：

decomposition; decidability; computational complexity;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：2905 / 2912

页数：7

共 50 条

[1] On the Relationship Between the Complexity of Decidability and Decomposability of First-Order Theories
Ponomaryov, D.
LOBACHEVSKII JOURNAL OF MATHEMATICS, 2021, 42 (12) : 2905 - 2912
[2] GENERIC COMPLEXITY OF FIRST-ORDER THEORIES
Rybalov, A. N.
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2011, 8 : 168 - 178
[3] Decidability of first-order theories for groups and monoids of integral matrices
Nagrebetskaya Yu.V.
Algebra and Logic, 2000, 39 (4) : 276 - 291
[4] Combination of Decomposability and Propagation for Solving First-Order Constraints in Decomposable Theories
Djelloul, Khalil
APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 1728 - 1732
[5] The Complexity of Decomposing Modal and First-Order Theories
Goeller, Stefan
Jung, Jean Christoph
Lohrey, Markus
2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 325 - 334
[6] The Complexity of Decomposing Modal and First-Order Theories
Goeller, Stefan
Jung, Jean-Christoph
Lohrey, Markus
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2015, 16 (01)
[7] Decidability, Complexity, and Expressiveness of First-Order Logic Over the Subword Ordering
Halfon, Simon
Schnoebelen, Philippe
Zetzsche, Georg
2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,
[8] On decidability of the decomposability problem for finite theories
Morozov, A. S.
Ponomaryov, D. K.
SIBERIAN MATHEMATICAL JOURNAL, 2010, 51 (04) : 667 - 674
[9] On decidability of the decomposability problem for finite theories
Andrey S. Morozov
Denis K. Ponomaryov
Siberian Mathematical Journal, 2010, 51 : 667 - 674
[10] Decidability Results in First-Order Epistemic Planning
Liberman, Andres Occhipinti
Rendsvig, Rasmus Kraemmer
PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, : 4161 - 4167

← 1 2 3 4 5 →