Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference3 articles.
1. A relational theory of datatypes;Aarts,1992
2. Functional programming, program transformations and compiler construction;Augusteijn,1993
3. Regular algebra applied to path-finding problems;Backhouse;J. Inst. Math. Appl.,1975
Cited by
47 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Restructuring a Concurrent Refinement Algebra;Lecture Notes in Computer Science;2024
2. Using cylindric algebra to support local variables in rely/guarantee concurrency;2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05
3. Components and acyclicity of graphs. An exercise in combining precision with concision;Journal of Logical and Algebraic Methods in Programming;2022-01
4. Algorithmics;IFIP Advances in Information and Communication Technology;2021
5. Unifying semantic foundations for automated verification tools in Isabelle/UTP;Science of Computer Programming;2020-10