Representing hyper-arithmetical sets by equations over sets of integers
From MaRDI portal
(Redirected from Publication:693054)
Recommendations
- On equations over sets of integers
- Equations over sets of integers with addition only
- Least and greatest solutions of equations over sets of integers
- Least and greatest solutions of equations over sets of integers
- Equations \(X + A = B\) and \((X + X) + C = (X - X) + D\) over sets of natural numbers
Cites work
- scientific article; zbMATH DE number 1747449 (Why is no real title available?)
- scientific article; zbMATH DE number 3291134 (Why is no real title available?)
- An introduction to hyperarithmetical functions
- CONJUNCTIVE GRAMMARS GENERATE NON-REGULAR UNARY LANGUAGES
- Complexity of equations over sets of natural numbers
- Computational universality in one-variable language equations
- Conjunctive grammars over a unary alphabet: Undecidability and unbounded growth
- Decision problems for language equations
- Elementary induction on abstract structures
- Equations over sets of natural numbers with addition only
- Least and greatest solutions of equations over sets of integers
- On equations over sets of numbers and their limitations
- On language equations \(XXK = XXL\) and \(XM = N\) over a unary alphabet
- On the Computational Completeness of Equations over Sets of Natural Numbers
- On the expressive power of univariate equations over sets of natural numbers
- One-nonterminal conjunctive grammars over a unary alphabet
- Presburger arithmetic with unary predicates is Π11 complete
- The complexity of membership problems for circuits over sets of integers
- The complexity of membership problems for circuits over sets of natural numbers
- The finite power property in free groups
- The power of commuting with finite sets of words
- Two Families of Languages Related to ALGOL
- Unresolved systems of language equations: expressive power and decision problems
Cited in
(12)- Least and greatest solutions of equations over sets of integers
- Least and greatest solutions of equations over sets of integers
- Hyperarithmetical Sets
- Equations over sets of integers with addition only
- Equations \(X + A = B\) and \((X + X) + C = (X - X) + D\) over sets of natural numbers
- Conjunctive and Boolean grammars: the true general case of the context-free grammars
- On equations over sets of integers
- Language equations
- Computable fixpoints in well-structured symbolic model checking
- Computational completeness of equations over sets of natural numbers
- A normal form for arithmetical representation of \({\mathcal N}{\mathcal P}\)-sets
- Arithmetic sets in groups
This page was built for publication: Representing hyper-arithmetical sets by equations over sets of integers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q693054)
