Author:
Broda Sabine,Machiavelo António,Moreira Nelma,Reis Rogério
Publisher
Springer International Publishing
Reference20 articles.
1. Almeida, M., Moreira, N., Reis, R.: Antimirov and Mosses’s rewrite system revisited. International Journal of Foundations of Computer Science 20(4), 669–684 (2009)
2. Almeida, M., Moreira, N., Reis, R.: Testing regular languages equivalence. Journal of Automata, Languages and Combinatorics 15(1/2), 7–25 (2010)
3. Almeida, R., Broda, S., Moreira, N.: Deciding KAT and Hoare logic with derivatives (96). In: Faella, M., Murano, A. (eds.) Proc. 3rd GANDALF. EPTCS, vol. 96, pp. 127–140 (2012)
4. Lecture Notes in Computer Science;A. Armstrong,2013
5. Bonchi, F., Pous, D.: Checking NFA equivalence with bisimulations up to congruence. In: Giacobazzi, R., Cousot, R. (eds.) The 40th Annual ACM SIGPLAN-SIGACT Symposium POPL 2013, pp. 457–468. ACM (2013)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Deciding Kleene algebra terms equivalence in Coq;Journal of Logical and Algebraic Methods in Programming;2015-05
2. Deciding Synchronous Kleene Algebra with Derivatives;Implementation and Application of Automata;2015