Publisher
Springer International Publishing
Reference33 articles.
1. Abramsky, S.: A structural approach to reversible computation. Theor. Comp. Sci. 347(3), 441–464 (2005)
2. Abrial, J.-R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press, Cambridge (2010)
3. Berthaut, F., Janin, D., Martin, B.: Advanced synchronization of audio or symbolic musical patterns: an algebraic approach. Int. J. Semant. Comput. 6(4), 409–427 (2012)
4. Blume, C., Bruggink, H.J.S., Friedrich, M., König, B.: Treewidth, pathwidth and cospan decompositions with applications to graph-accepting tree automata. J. Visual Lang. Comput. 24(3), 192–206 (2013)
5. Blumensath, A., Janin, D.: A syntactic congruence for languages of birooted trees. Semigroup Forum 91(161), 1–24 (2014)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Walking Automata in Free Inverse Monoids;Lecture Notes in Computer Science;2016