Automatic presentations of structures
From MaRDI portal
Cites work
- Computable Algebra, General Theory and Theory of Computable Fields
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Effective procedures in field theory
- scientific article; zbMATH DE number 5605134 (Why is no real title available?)
- scientific article; zbMATH DE number 3497806 (Why is no real title available?)
- scientific article; zbMATH DE number 1142314 (Why is no real title available?)
- scientific article; zbMATH DE number 806746 (Why is no real title available?)
- scientific article; zbMATH DE number 3291134 (Why is no real title available?)
- scientific article; zbMATH DE number 3339435 (Why is no real title available?)
- Polynomial-time versus recursive models
- Problem of the number of non-self-equivalent constructivizations
- Synchronized rational relations of finite and infinite words
Cited in
(34)- Complexity and categoricity of injection structures induced by finite state transducers
- Symbolic automatic relations and their applications to SMT and CHC solving
- The isomorphism problem for FST injection structures
- Computable fixpoints in well-structured symbolic model checking
- The back-and-forth method and computability without delay
- On the width of regular classes of finite structures
- On decidability of list structures
- The inclusion structure of partially lossy queue monoids and their trace submonoids
- Tree-automatic well-founded trees
- Alternating automatic register machines
- Realizable and context-free hyperlanguages
- Resynchronized uniformization and definability problems for rational relations
- Universal quantification makes automatic structures hard to decide
- Simple classes of automatic structures
- Quasi-isometric reductions between infinite strings
- The theory of reachability of trace-pushdown systems
- Computational group theory. Abstracts from the workshop held June 1--6, 2025
- Semënov arithmetic, affine \{VASS\}, and string constraints
- Universal quantification makes automatic structures hard to decide
- Defining algorithmically presented structures in first order logic
- Finite-valued streaming string transducers
- Finite-valued streaming string transducers
- Computable classifications of continuous, transducer, and regular functions
- Paths, ends and the separation problem for infinite graphs
- A characterization of wreath products where knapsack is decidable
- Automatic structures and the problem of natural well-orderings
- Quasi-isometric reductions between infinite strings
- Punctual presentability in certain classes of algebraic structures
- The algebras for automatic relations
- Reachability in trace-pushdown systems
- On the Diophantine problem related to power circuits
- Word structures and their automatic presentations
- Karp's NP-complete problems over first-order definable structures
- Second-order finite automata: expressive power and simple proofs using automatic structures
This page was built for publication: Automatic presentations of structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6064290)
