Author:
Hansen Helle Hvid,Costa David,Rutten Jan
Subject
General Computer Science,Theoretical Computer Science
Reference16 articles.
1. Partial derivatives of regular expressions, and finite automaton constructions;Antimirov;Theoretical Computer Science,1996
2. Derivatives of regular expressions;Brzozowski;Journal of the ACM,1964
3. Solving sequential conditions by finite-state strategies;Büchi;Transactions of the American Mathematical Society,1969
4. Automata, Languages and Machines (Vol. A);Eilenberg,1974
5. p-adic Numbers;Gouvêa,1993
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Toward a Coalgebraic Model of Control Programs;2022 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE);2022-09-18
2. Monoidal Computer III: A Coalgebraic View of Computability and Complexity (Extended Abstract);Coalgebraic Methods in Computer Science;2018
3. Finite automata and numbers;Discrete Mathematics and Applications;2016-01-01
4. Contractive Functions on Infinite Data Structures;Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages - IFL 2016;2016
5. A Logic for Complex Computing Systems: Properties Preservation Along Integration and Abstraction;Scientific Annals of Computer Science;2014