Representing hyper-arithmetical sets by equations over sets of integers
From MaRDI portal
Publication:693054
DOI10.1007/s00224-011-9352-5zbMath1279.68158MaRDI QIDQ693054
Publication date: 7 December 2012
Published in: Theory of Computing Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00224-011-9352-5
68Q45: Formal languages and automata
Uses Software