Decision algoritms for Kleene algebra with tests and Hoare logic

• Author(s): Ricardo Almeida
• Date: 2011
• Persistent ID: http://hdl.handle.net/10216/65208
• Origin: Repositório Aberto da Universidade do Porto
• Document Type: Master Thesis
• Language: English