Estudio de relaciones entre la teoria de autómatas , la lógica de segundo orden y el mu-cálculo
Existe copia en microficha
- Autores:
-
Cardozo Álvarez, Nicolás
- Tipo de recurso:
- Trabajo de grado de pregrado
- Fecha de publicación:
- 2008
- Institución:
- Universidad de los Andes
- Repositorio:
- Séneca: repositorio Uniandes
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.uniandes.edu.co:1992/20776
- Acceso en línea:
- http://hdl.handle.net/1992/20776
- Palabra clave:
- Teoría de las máquinas
Lenguajes formales
Complejidad computacional
Matemáticas
- Rights
- openAccess
- License
- http://creativecommons.org/licenses/by-nc-sa/4.0/
| id |
UNIANDES2_e405fd805286b3e3c9d79fabe8ad00d9 |
|---|---|
| oai_identifier_str |
oai:repositorio.uniandes.edu.co:1992/20776 |
| network_acronym_str |
UNIANDES2 |
| network_name_str |
Séneca: repositorio Uniandes |
| repository_id_str |
|
| spelling |
Al consultar y hacer uso de este recurso, está aceptando las condiciones de uso establecidas por los autores.http://creativecommons.org/licenses/by-nc-sa/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Martínez Baldares, Maricarmenvirtual::6351-1Cardozo Álvarez, Nicolás310136002018-09-28T20:34:28Z2018-09-28T20:34:28Z2008http://hdl.handle.net/1992/20776u327230.pdfinstname:Universidad de los Andesreponame:Repositorio Institucional Sénecarepourl:https://repositorio.uniandes.edu.co/Existe copia en microfichaMatemáticoPregrado38 happlication/pdfspaUniandesMatemáticasFacultad de CienciasDepartamento de Matemáticasinstname:Universidad de los Andesreponame:Repositorio Institucional SénecaEstudio de relaciones entre la teoria de autómatas , la lógica de segundo orden y el mu-cálculoTrabajo de grado - Pregradoinfo:eu-repo/semantics/bachelorThesishttp://purl.org/coar/resource_type/c_7a1fhttp://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/TPTeoría de las máquinasLenguajes formalesComplejidad computacionalMatemáticasPublicationhttps://scholar.google.es/citations?user=Q0fgYywAAAAJvirtual::6351-10000-0001-6174-3324virtual::6351-1https://scienti.minciencias.gov.co/cvlac/visualizador/generarCurriculoCv.do?cod_rh=0000678635virtual::6351-135f86969-35e2-4807-84a1-2ac3c50c8a61virtual::6351-135f86969-35e2-4807-84a1-2ac3c50c8a61virtual::6351-1ORIGINALu327230.pdfapplication/pdf484537https://repositorio.uniandes.edu.co/bitstreams/92dacd72-2f65-430b-8321-ec8d85379edf/downloadcb0955aa76f929280086597db4c10413MD51TEXTu327230.pdf.txtu327230.pdf.txtExtracted texttext/plain69481https://repositorio.uniandes.edu.co/bitstreams/bd5d4408-df74-4811-a021-f0693070e973/download90e802d55678ce04ee31d99e484920cbMD54THUMBNAILu327230.pdf.jpgu327230.pdf.jpgIM Thumbnailimage/jpeg4857https://repositorio.uniandes.edu.co/bitstreams/5c67957e-2697-4f97-99a3-7088b70acc37/downloadf8926feee85587b09dfd7033422cf992MD551992/20776oai:repositorio.uniandes.edu.co:1992/207762024-03-13 13:09:48.219http://creativecommons.org/licenses/by-nc-sa/4.0/open.accesshttps://repositorio.uniandes.edu.coRepositorio institucional Sénecaadminrepositorio@uniandes.edu.co |
| dc.title.es_CO.fl_str_mv |
Estudio de relaciones entre la teoria de autómatas , la lógica de segundo orden y el mu-cálculo |
| title |
Estudio de relaciones entre la teoria de autómatas , la lógica de segundo orden y el mu-cálculo |
| spellingShingle |
Estudio de relaciones entre la teoria de autómatas , la lógica de segundo orden y el mu-cálculo Teoría de las máquinas Lenguajes formales Complejidad computacional Matemáticas |
| title_short |
Estudio de relaciones entre la teoria de autómatas , la lógica de segundo orden y el mu-cálculo |
| title_full |
Estudio de relaciones entre la teoria de autómatas , la lógica de segundo orden y el mu-cálculo |
| title_fullStr |
Estudio de relaciones entre la teoria de autómatas , la lógica de segundo orden y el mu-cálculo |
| title_full_unstemmed |
Estudio de relaciones entre la teoria de autómatas , la lógica de segundo orden y el mu-cálculo |
| title_sort |
Estudio de relaciones entre la teoria de autómatas , la lógica de segundo orden y el mu-cálculo |
| dc.creator.fl_str_mv |
Cardozo Álvarez, Nicolás |
| dc.contributor.advisor.none.fl_str_mv |
Martínez Baldares, Maricarmen |
| dc.contributor.author.none.fl_str_mv |
Cardozo Álvarez, Nicolás |
| dc.subject.keyword.es_CO.fl_str_mv |
Teoría de las máquinas Lenguajes formales Complejidad computacional |
| topic |
Teoría de las máquinas Lenguajes formales Complejidad computacional Matemáticas |
| dc.subject.themes.none.fl_str_mv |
Matemáticas |
| description |
Existe copia en microficha |
| publishDate |
2008 |
| dc.date.issued.none.fl_str_mv |
2008 |
| dc.date.accessioned.none.fl_str_mv |
2018-09-28T20:34:28Z |
| dc.date.available.none.fl_str_mv |
2018-09-28T20:34:28Z |
| dc.type.spa.fl_str_mv |
Trabajo de grado - Pregrado |
| dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.driver.spa.fl_str_mv |
info:eu-repo/semantics/bachelorThesis |
| dc.type.coar.spa.fl_str_mv |
http://purl.org/coar/resource_type/c_7a1f |
| dc.type.content.spa.fl_str_mv |
Text |
| dc.type.redcol.spa.fl_str_mv |
http://purl.org/redcol/resource_type/TP |
| format |
http://purl.org/coar/resource_type/c_7a1f |
| dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/1992/20776 |
| dc.identifier.pdf.none.fl_str_mv |
u327230.pdf |
| dc.identifier.instname.spa.fl_str_mv |
instname:Universidad de los Andes |
| dc.identifier.reponame.spa.fl_str_mv |
reponame:Repositorio Institucional Séneca |
| dc.identifier.repourl.spa.fl_str_mv |
repourl:https://repositorio.uniandes.edu.co/ |
| url |
http://hdl.handle.net/1992/20776 |
| identifier_str_mv |
u327230.pdf instname:Universidad de los Andes reponame:Repositorio Institucional Séneca repourl:https://repositorio.uniandes.edu.co/ |
| dc.language.iso.es_CO.fl_str_mv |
spa |
| language |
spa |
| dc.rights.uri.*.fl_str_mv |
http://creativecommons.org/licenses/by-nc-sa/4.0/ |
| dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
| dc.rights.coar.spa.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/4.0/ http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| dc.format.extent.es_CO.fl_str_mv |
38 h |
| dc.format.mimetype.es_CO.fl_str_mv |
application/pdf |
| dc.publisher.es_CO.fl_str_mv |
Uniandes |
| dc.publisher.program.es_CO.fl_str_mv |
Matemáticas |
| dc.publisher.faculty.es_CO.fl_str_mv |
Facultad de Ciencias |
| dc.publisher.department.es_CO.fl_str_mv |
Departamento de Matemáticas |
| dc.source.es_CO.fl_str_mv |
instname:Universidad de los Andes reponame:Repositorio Institucional Séneca |
| instname_str |
Universidad de los Andes |
| institution |
Universidad de los Andes |
| reponame_str |
Repositorio Institucional Séneca |
| collection |
Repositorio Institucional Séneca |
| bitstream.url.fl_str_mv |
https://repositorio.uniandes.edu.co/bitstreams/92dacd72-2f65-430b-8321-ec8d85379edf/download https://repositorio.uniandes.edu.co/bitstreams/bd5d4408-df74-4811-a021-f0693070e973/download https://repositorio.uniandes.edu.co/bitstreams/5c67957e-2697-4f97-99a3-7088b70acc37/download |
| bitstream.checksum.fl_str_mv |
cb0955aa76f929280086597db4c10413 90e802d55678ce04ee31d99e484920cb f8926feee85587b09dfd7033422cf992 |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio institucional Séneca |
| repository.mail.fl_str_mv |
adminrepositorio@uniandes.edu.co |
| _version_ |
1812133897460252672 |