Grau de indecidibilidade da universidade para subclasses de automatos temporizados

Guilherme Albuquerque Pinto

Material

TESE

Idioma

Português

ISBN

(Broch)

Número de chamada

T/UNICAMP P658g

Publicação

Campinas, SP : [s.n.], 2003.

Descrição física

127p. : il.

Nota geral

Orientador: Arnaldo Vieira Moura

Nota de dissertação ou tese

Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação

Assuntos

Linguagens formais

Teoria dos autômatos

Funções recursivas

Autoria

Pinto, Guilherme Albuquerque

Moura, Arnaldo Vieira, 1950- Orientador

Sites

Arquivos

Guilherme Albuquerque Pinto

Guilherme Albuquerque Pinto

Nº de exemplares: 2
Não existem reservas para esta obra

Informações do exemplar	Informações do exemplar	Nº de chamada	Biblioteca	Localização	Situação	QR Code
Tombo: 1150056657 Ano: 2003 Suporte: Impresso Nº de chamada: T/UNICAMP P658g Biblioteca : BCCL Situação: Não circula Visualizar QR Code	Tombo: 1150056657 Ano: 2003 Suporte: Impresso	T/UNICAMP P658g	BCCL		Não circula
Tombo: 1150056662 Ano: 2003 Suporte: Impresso Nº de chamada: T/UNICAMP P658g Biblioteca : IMECC Situação: Disponível Visualizar QR Code	Tombo: 1150056662 Ano: 2003 Suporte: Impresso	T/UNICAMP P658g	IMECC		Disponível

Terminal de consulta web