Grau de indecidibilidade da universidade para subclasses de automatos temporizados

Detalhes bibliográficos
Autor(a) principal: Pinto, Guilherme Albuquerque
Data de Publicação: 2003
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1594848
Resumo: Orientador: Arnaldo Vieira Moura
id UNICAMP-30_a6d6ae29ea0781af7deace22fe7e7dbd
oai_identifier_str oai::293010
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Grau de indecidibilidade da universidade para subclasses de automatos temporizadosLinguagens formaisTeoria dos autômatosFunções recursivasOrientador: Arnaldo Vieira MouraTese (doutorado) - Universidade Estadual de Campinas, Instituto de ComputaçãoDoutorado[s.n.]Moura, Arnaldo Vieira, 1950-Universidade Estadual de Campinas (UNICAMP). Instituto de ComputaçãoPrograma de Pós-Graduação não informadoUNIVERSIDADE ESTADUAL DE CAMPINASPinto, Guilherme Albuquerque2003info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf127p. : il.(Broch)https://hdl.handle.net/20.500.12733/1594848PINTO, Guilherme Albuquerque. Grau de indecidibilidade da universidade para subclasses de automatos temporizados. 2003. 127p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1594848. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/293010porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2022-06-20T15:42:21Zoai::293010Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2022-06-20T15:42:21Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Grau de indecidibilidade da universidade para subclasses de automatos temporizados
title Grau de indecidibilidade da universidade para subclasses de automatos temporizados
spellingShingle Grau de indecidibilidade da universidade para subclasses de automatos temporizados
Pinto, Guilherme Albuquerque
Linguagens formais
Teoria dos autômatos
Funções recursivas
title_short Grau de indecidibilidade da universidade para subclasses de automatos temporizados
title_full Grau de indecidibilidade da universidade para subclasses de automatos temporizados
title_fullStr Grau de indecidibilidade da universidade para subclasses de automatos temporizados
title_full_unstemmed Grau de indecidibilidade da universidade para subclasses de automatos temporizados
title_sort Grau de indecidibilidade da universidade para subclasses de automatos temporizados
author Pinto, Guilherme Albuquerque
author_facet Pinto, Guilherme Albuquerque
author_role author
dc.contributor.none.fl_str_mv Moura, Arnaldo Vieira, 1950-
Universidade Estadual de Campinas (UNICAMP). Instituto de Computação
Programa de Pós-Graduação não informado
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Pinto, Guilherme Albuquerque
dc.subject.por.fl_str_mv Linguagens formais
Teoria dos autômatos
Funções recursivas
topic Linguagens formais
Teoria dos autômatos
Funções recursivas
description Orientador: Arnaldo Vieira Moura
publishDate 2003
dc.date.none.fl_str_mv 2003
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv (Broch)
https://hdl.handle.net/20.500.12733/1594848
PINTO, Guilherme Albuquerque. Grau de indecidibilidade da universidade para subclasses de automatos temporizados. 2003. 127p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1594848. Acesso em: 2 set. 2024.
identifier_str_mv (Broch)
PINTO, Guilherme Albuquerque. Grau de indecidibilidade da universidade para subclasses de automatos temporizados. 2003. 127p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1594848. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1594848
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/293010
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
127p. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809188893709303808

Registros relacionados