Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference64 articles.
1. Modeling in Event-B – System and Software Engineering;Abrial,2010
2. Advanced synchronization of audio or symbolic musical patterns: an algebraic approach;Berthaut;Int. J. Semant. Comput.,2012
3. Recognisability for algebras of infinite trees;Blumensath;Theor. Comput. Sci.,2011
4. A syntactic congruence for languages of birooted trees;Blumensath,2014
5. Tree-walking automata;Bojańczyk,2008
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Language acceptability of finite automata based on theory of semi‐tensor product of matrices;Asian Journal of Control;2019-07-03
2. Unified media programming: an algebraic approach;Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design;2017-09-09
3. Walking Automata in Free Inverse Monoids;Lecture Notes in Computer Science;2016
4. Inverse Monoids of Higher-Dimensional Strings;Theoretical Aspects of Computing - ICTAC 2015;2015
5. Embedding Finite and Infinite Words into Overlapping Tiles;Developments in Language Theory;2014