Browsing by Author Ricardo Manuel de Oliveira Almeida
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | Type |
---|---|---|---|
2012-07-27 | Decision algoritms for Kleene algebra with tests and Hoare logic | Ricardo Manuel de Oliveira Almeida | Dissertação |