Automatic decidability and combinability
From MaRDI portal
Publication:549666
DOI10.1016/j.ic.2011.03.005zbMath1216.68163WikidataQ118190406 ScholiaQ118190406MaRDI QIDQ549666
Publication date: 18 July 2011
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2011.03.005
DB lookup for MSC labels failed
Uses Software