Decidability of classes of algebraic systems in polynomial time

被引：0

作者：

Anokhin, MI ^{[1
]}

机构：

[1] Moscow MV Lomonosov State Univ, Moscow 117234, Russia

来源：

SBORNIK MATHEMATICS | 2002年 / 193卷 / 1-2期

关键词：

D O I：

10.1070/SM2002v193n02ABEH000625

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

For some classes of algebraic systems several kinds of polynomial-time decidability are considered, which use an oracle performing signature operations and computing prodicates. Relationships between various kinds of decidability are studied. Several results on decidability and undecidability in polynomial time are proved for some finitely based varieties of universal algebras.

引用

页码：157 / 186

页数：30

共 50 条

[1] To the decidability of the program schemata commutative equivalence in polynomial time
Podlovichenko, RI
Zakharov, VA
[J]. DOKLADY AKADEMII NAUK, 1998, 362 (06) : 744 - 747
[2] NONCONSTRUCTIVE TOOLS FOR PROVING POLYNOMIAL-TIME DECIDABILITY
FELLOWS, MR
LANGSTON, MA
[J]. JOURNAL OF THE ACM, 1988, 35 (03) : 727 - 739
[3] ALGEBRAIC CONJUGACY CLASSES AND SKEW POLYNOMIAL-RINGS
LAM, TY
LEROY, A
[J]. PERSPECTIVES IN RING THEORY, 1988, 233 : 153 - 203
[4] Commutative algebraic methods for controllability of discrete-time polynomial systems
Kawano, Yu
Ohtsuka, Toshiyuki
[J]. INTERNATIONAL JOURNAL OF CONTROL, 2016, 89 (02) : 343 - 351
[5] Polynomial time decidability of monotone liveness of time bounded AC/DC nets
Ohta, A
Tsuji, K
[J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2001, E84A (11) : 2865 - 2870
[6] Algebraic aspects of integrability for polynomial systems
Christopher C.
Llibre J.
[J]. Qualitative Theory of Dynamical Systems, 1999, 1 (1) : 71 - 95
[7] NOTES ON COMPACT CLASSES OF ALGEBRAIC SYSTEMS
KOGALOVS.SR
[J]. DOKLADY AKADEMII NAUK SSSR, 1968, 180 (05): : 1029 - &
[8] Algebraic phase unwrapping and zero distribution of polynomial for continuous-time systems
Yamada, I
Bose, NK
[J]. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-FUNDAMENTAL THEORY AND APPLICATIONS, 2002, 49 (03): : 298 - 304
[9] A review on some classes of algebraic systems
Ayala, Victor
Roman-Flores, Heriberto
[J]. INTERNATIONAL JOURNAL OF CONTROL, 2020, 93 (04) : 747 - 762
[10] Overview of complexity and decidability results for three classes of elementary nonlinear systems
Blondel, VD
Tsitsiklis, JN
[J]. LEARNING, CONTROL AND HYBRID SYSTEMS: FESTSCHRIFT IN HONOR OF BRUCE ALLEN FRANCIS AND MATHUKUMALLI VIDYASAGAR ON THE OCCASION OF THEIR 50TH BIRTHDAYS, 1999, 241 : 46 - 58

← 1 2 3 4 5 →