Ziyuan Gao, Sanjay Jain 0001, Zeyong Li, Ammar Fathin Sabili, Frank Stephan 0001. Alternating Automatic Register Machines. In Helmut Seidl, Zhiming Liu 0001, Corina S. Pasareanu, editors, Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings. Volume 13572 of Lecture Notes in Computer Science, pages 195-211, Springer, 2022. [doi]
Abstract is missing.