Searching for applicable versions of computable structures

DOI10.1007/978-3-030-80049-9_1OpenAlexW3180573182MaRDI QIDQ2117745

P. E. Alaev, Victor L. Selivanov

Publication date: 22 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-80049-9_1

zbMATH Keywords

structurecomputable presentationpolynomial-time presentationGrzegorczyk's presentationquotient-structure

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (4)

Inversion operations in algebraic structures ⋮ Punctually presented structures I: Closure theorems ⋮ The complexity of inversion in groups ⋮ Quotient structures and groups computable in polynomial time

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Existence and uniqueness of structures computable in polynomial time
• Algebraic structures computable without delay
• The shrinking property for NP and coNP
• Sailing routes in the world of computation. 14th conference on computability in Europe, CiE 2018, Kiel, Germany, July 30 -- August 3, 2018. Proceedings
• Fields of algebraic numbers computable in polynomial time. I
• Polynomial-time versus recursive models
• Some complexity results for polynomial ideals
• Computable structures and the hyperarithmetical hierarchy
• Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs (extended abstract)
• Polynomial algorithms in computer algebra
• Polynomially computable structures with finitely many generators
• Structures computable in polynomial time. I
• Three Lectures on Automatic Structures
• Equivalence Relations, Invariants, and Normal Forms
• Every recursive linear ordering has a copy in DTIME-SPACE(n,log(n))
• Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs
• Online Algorithms
• The word and geodesic problems in free solvable groups
• FOUNDATIONS OF ONLINE STRUCTURE THEORY
• Hierarchies of Computable groups and the word problem

This page was built for publication: Searching for applicable versions of computable structures