Please use this identifier to cite or link to this item:
https://hdl.handle.net/10216/65208| Author(s): | Ricardo Manuel de Oliveira Almeida |
| Title: | Decision algoritms for Kleene algebra with tests and Hoare logic |
| Issue Date: | 2012-07-27 |
| Subject: | Ciências exactas e naturais Natural sciences |
| Scientific areas: | Ciências exactas e naturais Natural sciences |
| URI: | https://hdl.handle.net/10216/65208 |
| Document Type: | Dissertação |
| Rights: | openAccess |
| License: | https://creativecommons.org/licenses/by-nc/4.0/ |
| Appears in Collections: | FCUP - Dissertação |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 24358.pdf | Decision algoritms for Kleene algebra with tests and Hoare logic | 581.46 kB | Adobe PDF |  View/Open |
This item is licensed under a Creative Commons License
