Author:
Almeida Ricardo,Broda Sabine,Moreira Nelma
Publisher
Open Publishing Association
Reference17 articles.
1. KAT-ML: An Interactive Theorem Prover for Kleene Algebra with Tests;Aboul-Hosn;Journal of Applied Non-Classical Logics,2006
2. Antimirov and Mosses's rewrite system revisited;Almeida;International Journal of Foundations of Computer Science,2009
3. Partial Derivatives of Regular Expressions and Finite Automaton Constructions.;Antimirov;Theoret. Comput. Sci.,1996
4. Rewriting Extended Regular Expressions;Antimirov,1994
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Hoare Logic with Regular Behavioral Specifications;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022
2. Constrained Expressions and their Derivatives;Fundamenta Informaticae;2016-12-24
3. Deciding Kleene algebra terms equivalence in Coq;Journal of Logical and Algebraic Methods in Programming;2015-05
4. Deciding Synchronous Kleene Algebra with Derivatives;Implementation and Application of Automata;2015
5. On the Equivalence of Automata for KAT-expressions;Language, Life, Limits;2014