Decision algoritms for Kleene algebra with tests and Hoare logic

Detalhes bibliográficos
Autor(a) principal: Ricardo Manuel de Oliveira Almeida
Data de Publicação: 2012
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: https://hdl.handle.net/10216/65208
id RCAP_14e4f149bf475d59d5c8bd498f74a490
oai_identifier_str oai:repositorio-aberto.up.pt:10216/65208
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Decision algoritms for Kleene algebra with tests and Hoare logicCiências exactas e naturaisNatural sciences2012-07-272012-07-27T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/10216/65208engRicardo Manuel de Oliveira Almeidainfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-11-29T13:00:03Zoai:repositorio-aberto.up.pt:10216/65208Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T23:31:26.626349Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Decision algoritms for Kleene algebra with tests and Hoare logic
title Decision algoritms for Kleene algebra with tests and Hoare logic
spellingShingle Decision algoritms for Kleene algebra with tests and Hoare logic
Ricardo Manuel de Oliveira Almeida
Ciências exactas e naturais
Natural sciences
title_short Decision algoritms for Kleene algebra with tests and Hoare logic
title_full Decision algoritms for Kleene algebra with tests and Hoare logic
title_fullStr Decision algoritms for Kleene algebra with tests and Hoare logic
title_full_unstemmed Decision algoritms for Kleene algebra with tests and Hoare logic
title_sort Decision algoritms for Kleene algebra with tests and Hoare logic
author Ricardo Manuel de Oliveira Almeida
author_facet Ricardo Manuel de Oliveira Almeida
author_role author
dc.contributor.author.fl_str_mv Ricardo Manuel de Oliveira Almeida
dc.subject.por.fl_str_mv Ciências exactas e naturais
Natural sciences
topic Ciências exactas e naturais
Natural sciences
publishDate 2012
dc.date.none.fl_str_mv 2012-07-27
2012-07-27T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/10216/65208
url https://hdl.handle.net/10216/65208
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799135623658864640

Registros relacionados