Publisher
Springer Berlin Heidelberg
Reference51 articles.
1. A. Arnold and D. Niwinski. Rudiments of μ -Calculus. Elsevier, Amsterdam, 2001.
2. S. Banach. Sur les operations dans les ensembles abstraits et leur applications aux équations intégrales. Fundamenta Mathematicae, 22:133–181, 1922.
3. M. Barr and C. Wells. Category Theory for Computing Science. Prentice Hall International, Englewood Cliffs, 1990.
4. H. Bekić. Definable operations in general algebras, and the theory of automata and flowcharts. Technical Report, IBM Laboratory, Vienna, 1969.
5. L. Bernátsky and Z. Ésik. Semantics of flowchart programs and the free Conway theories. Theoretical Informatics and Applications, RAIRO, 32:35–78, 1998.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献