External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Alternating Automatic Register Machines

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]

Authors

Ziyuan Gao

This author has not been identified. Look up 'Ziyuan Gao' in Google

Sanjay Jain 0001

This author has not been identified. Look up 'Sanjay Jain 0001' in Google

Zeyong Li

This author has not been identified. Look up 'Zeyong Li' in Google

Ammar Fathin Sabili

This author has not been identified. Look up 'Ammar Fathin Sabili' in Google

Frank Stephan 0001

This author has not been identified. Look up 'Frank Stephan 0001' in Google
runs on