Finiteness of the set of automaton Post bases with solvable completeness problem

被引：0

作者：

机构：

来源：

Discrete Math Appl | / 5卷 / 475-482期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 28 条

[21] On classification for Post's systems of automation functions with respect to decidability of the completeness problem
Babin, DN
DOKLADY AKADEMII NAUK, 1999, 367 (04) : 439 - 441
[22] Undecidable properties of monoids with word problem solvable in linear time. Part II - cross sections and homological and homotopical finiteness conditions
Katsura, M
Kobayashi, Y
Otto, F
THEORETICAL COMPUTER SCIENCE, 2003, 301 (1-3) : 79 - 101
[23] NP-Completeness of the Independent Dominating Set Problem in the Class of Cubic Planar Bipartite Graphs
Loverov Y.A.
Orlovich Y.L.
Journal of Applied and Industrial Mathematics, 2020, 14 (02): : 353 - 368
[24] Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate
Cantone, Domenico
Ursino, Pietro
INFORMATION AND COMPUTATION, 2014, 237 : 215 - 242
[25] The action of Sylow 2-subgroups of symmetric groups on the set of bases and the problem of isomorphism of their Cayley graphs
Pawlik, Bartlomiej
ALGEBRA & DISCRETE MATHEMATICS, 2016, 21 (02): : 264 - 281
[26] Hitting Set Problem for Axis-Parallel Squares Intersecting a Straight Line Is Polynomially Solvable for Any Fixed Range of Square Sizes
Khachay, Daniel
Khachay, Michael
Poberiy, Maria
ANALYSIS OF IMAGES, SOCIAL NETWORKS AND TEXTS, AIST 2017, 2018, 10716 : 334 - 345
[27] THE PROBLEM OF SYNTHESIS OF CONTROL OF MULTICHANNEL NONSTATIONARY AUTOMATIC-CONTROL SYSTEM ON THE BASES OF PRESCRIBED SET OF ONE-CHANNEL SUBSYSTEMS
ABGARYAN, KA
DOKLADY AKADEMII NAUK, 1994, 335 (06) : 677 - 680
[28] Basis set superposition problem in interaction energy calculations with explicitly correlated bases: Saturated second- and third-order energies for He-2
Bukowski, R
Jeziorski, B
Szalewicz, K
JOURNAL OF CHEMICAL PHYSICS, 1996, 104 (09): : 3306 - 3319

← 1 2 3 →