Author:
Antimirov Valentin M.,Mosses Peter D.
Subject
General Computer Science,Theoretical Computer Science
Reference27 articles.
1. Rewriting extended regular expressions (short version);Antimirov,1994
2. Complexity of matching problems;Benanav;J. Symbolic Comput.,1987
3. Intersection and union of regular languages and state complexity;Birget;Inform Process. Lett.,1992
4. Une remarque sur les systèmes complets d'identités rationnelles;Boffa;Theoret. Inform. Appl.,1990
5. Derivatives of regular expressions;Brzozowski;J. ACM,1964
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. ProveNFix: Temporal Property-Guided Program Repair;Proceedings of the ACM on Software Engineering;2024-07-12
2. Automated Verification for Real-Time Systems;Tools and Algorithms for the Construction and Analysis of Systems;2023
3. Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm;Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity;2022-11-29
4. Automated Temporal Verification for Algebraic Effects;Programming Languages and Systems;2022
5. Determinization of inverted grammar programs via context-free expressions;Journal of Logical and Algebraic Methods in Programming;2021-08