Grau de indecidibilidade da universidade para subclasses de automatos temporizados

Description

Orientador: Arnaldo Vieira Moura / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-03T17:41:22Z (GMT). No. of bitstreams: 1
Pinto_GuilhermeAlbuquerque_D.pdf: 4219537 bytes, checksum: acd92f5d71678809ad0e63efea423560 (MD5)
Previous issue date: 2003 / Doutorado

Links & Downloads

1. (Broch)
2. PINTO, Guilherme Albuquerque. Grau de indecidibilidade da universidade para subclasses de automatos temporizados. 2003. 127p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/276408>. Acesso em: 3 ago. 2018.
3. http://repositorio.unicamp.br/jspui/handle/REPOSIP/276408

Tags

Linguagens formais

Teoria dos autômatos

Funções recursivas

Additional Fields

Identifer	oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/276408
Date	03 August 2018
Creators	Pinto, Guilherme Albuquerque
Contributors	UNIVERSIDADE ESTADUAL DE CAMPINAS, Moura, Arnaldo Vieira, 1950-
Publisher	[s.n.], Universidade Estadual de Campinas. Instituto de Matemática, Estatística e Computação Científica
Source Sets	IBICT Brazilian ETDs
Language	Portuguese
Detected Language	Portuguese
Type	info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis
Format	127p. : il., application/octet-stream
Source	reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP
Rights	info:eu-repo/semantics/openAccess