Browsing by Author David Pereira
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | Type |
---|---|---|---|
2015 | Deciding Kleene algebra terms equivalence in Coq | Nelma Moreira; David Pereira; Simao Melo de Sousa | Artigo em Revista Científica Internacional |