Decision algoritms for Kleene algebra with tests and Hoare logic

• Autor(es): Ricardo Almeida
• Data: 2011
• Identificador Persistente: http://hdl.handle.net/10216/65208
• Origem: Repositório Aberto da Universidade do Porto
• Tipo de Documento: Dissertação de Mestrado
• Idioma: Inglês