Author:
Gao Ziyuan,Jain Sanjay,Li Zeyong,Sabili Ammar Fathin,Stephan Frank
Publisher
Springer International Publishing
Reference21 articles.
1. Blumensath, A.: Automatic structures. Diploma thesis, RWTH Aachen University (1999)
2. Blumensath, A., Grädel, E.: Automatic structures. In: Proceedings of IEEE Symposium on Logic in Computer Science (LICS), pp. 51–62 (2000)
3. Bordihn, H., Fernau, H., Holzer, M., Manca, V., Martín-Vide, C.: Iterated sequential transducers as language generating devices. Theor. Comput. Sci. 369, 67–81 (2006)
4. Case, J., Jain, S., Seah, S., Stephan, F.: Automatic functions, linear time and learning. Log. Methods Comput. Sci. 9(3), (2013)
5. Chandra, A., Kozen, D., Stockmeyer, L.: Alternation. J. Assoc. Comput. Mach. 28(1), 114–133 (1981)