Author:
Laurence Michael R.,Struth Georg
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Arden, D.N.: Delayed-logic and finite-state machines. In: Annual IEEE Symposium on Foundations of Computer Science, pp. 133–151 (1961)
2. Backhouse, R.C., Carré, B.A.: Regular algebras applied to path-finding problems. IMA J. Appl. Math. 15(2), 161–186 (1975)
3. Brzozowski, J.A.: Derivatives of regular expressions. J. ACM 11(4), 481–494 (1964)
4. Lecture Notes in Computer Science;E. Cohen,2000
5. Desharnais, J., Möller, B., Struth, G.: Algebraic notions of termination. Logical Methods in Computer Science 7(1:1), 1–29 (2011)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Polymorphic Iterable Sequential Effect Systems;ACM Transactions on Programming Languages and Systems;2021-03-31
2. A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems;Science of Computer Programming;2021-03
3. A Common Semantic Scoring Method for Chinese Subjective Questions;2019 International Symposium on Theoretical Aspects of Software Engineering (TASE);2019-07