Representación de una fórmula de lógica temporal lineal proposicional como un autómata de Búchi generalizado etiquetado

dc.contributor.author	Casillas González, Brenda Mariana
dc.date.accessioned	2020-08-07T16:32:37Z
dc.date.available	2020-08-07T16:32:37Z
dc.date.issued	2005
dc.identifier.uri	https://repositorio.cinvestav.mx/handle/cinvestav/293
dc.format	pdf
dc.format.extent	x, 112 h. 28 cm.
dc.language.iso	spa
dc.publisher	Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara.
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0
dc.subject.classification	INGENIERÍA Y TECNOLOGÍA
dc.title	Representación de una fórmula de lógica temporal lineal proposicional como un autómata de Búchi generalizado etiquetado
dc.type	masterThesis
dc.contributor.director	González Torres, Raúl Ernesto
dc.contributor.director	Sánchez Carmona, Arturo del Sagrado Corazón
dc.identificator	7
dc.identifier.marc	01348cam a2200241 a 4500
dc.coverage.placeofpublication	Guadalajara, Jalisco, México
dc.description.institution	CINVESTAV
dc.description.unidad	Unidad Guadalajara
dc.thesis.area	Tecnología y Ciencias de la Ingeniería
dc.thesis.degreediscipline	Computación.
dc.rights.access	openAccess

Except where otherwise noted, this item's license is described as http://creativecommons.org/licenses/by-nc-nd/4.0