Subject
Computer Science Applications,Modelling and Simulation,Information Systems,Theoretical Computer Science,Control and Systems Engineering
Reference15 articles.
1. Connectivity and Reversibility in Automata
2. Heterogeneous algebras
3. The cartesian composition of automata
4. S. Feferman , “Lectures on proof theory.” In Lecture Notes in Mathematics, Proc. of the Summer School in Logic, Leeds , 1967 .
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献