Detalles MARC
000 -Encabezamiento |
fixed length control field |
02881nam a22004457a 4500 |
003 - Identificador del Número de Control |
control field |
AR_CdUFM |
005 - Fecha de Ultima Modificación |
control field |
20200427193910.0 |
008 - Elementos de Fongitud Fija--Información General |
fixed length control field |
150615b xxu||||| |||| 00| 0 eng d |
040 ## - Origen de la Catalogación |
Agencia/entidad que catalogó originalmente la obra |
AR_CdUFM |
Entidad que transcribió la catalogación |
AR_CdUFM |
100 1# - Entrada Principal - Nombre Personal |
9 (RLIN) |
22362 |
Nombre Personal |
Rossi, Gisela Carla, |
Fechas asociadas con el nombre |
1990- |
245 10 - Título propiamente dicho |
Título |
Lógicas modales con datos infinitos / |
Mención de responsabilidad |
Gisela C. Rossi. |
260 ## - Publicación, Distribución, etc. (Pie de Imprenta) |
Lugar de publicación, distribución, etc. |
[S.l. : |
Nombre de la editorial, distribuidor, etc. |
s.n. ], |
Fecha de publicación, distribución, etc. |
2015. |
300 ## - Descripción Física |
Extensión |
27 h. : |
Otros detalles físicos |
il. ; |
Dimensiones |
30 cm. |
502 ## - Nota de disertación |
Nota de disertación |
Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015. |
504 ## - Nota de Bibliografía, etc. |
Nota de Bibliografía, etc. |
Bibliografía : h. 27. |
505 2# - Nota de Contenido Formateada |
Nota de contenido formateada |
Introducción -- Definiciones básicas -- Ejemplo motivador -- PDL parametrizado -- Juegos de satisfactibilidad -- Decibilidad de PPDL -- Conclusión. |
520 ## - Resumen, etc. |
Nota de resumen, etc. |
En este trabajo de licenciatura, extendemos la lógica dinámica proposicional (PDL, Propositional Dynamic Logic) con variables que toman valores en un dominio infinito. Esta extensión, llamada PDL parametrizada o PPDL es interpretada sobre sistemas de transición parametrizados cuyas aristas están etiquetadas con letras o variables y cuyos estados están etiquetados con proposiciones no parametrizadas. Nuestro resultado es demostrar que el problema de satisfactibilidad para PPDL es decidible cuando es interpretado sobre la subclase de sistemas de transición parametrizados en los cuales las variables pueden ser reseteadas.<br/><br/> |
520 ## - Resumen, etc. |
Nota de resumen, etc. |
We extend propositional dynamic logic (PDL) with variables ranging over an infinite domain. This extension, called parametrized PDL or PPDL for short, is interpreted over parametrized transitions systems whose edges are labeled with letters or variables and whose states are labeled with non-parametrized propositions. The result of this work shows that the satisfiability problem for PPDL is decidable when interpreted over the subclass of parametrized transition systems in which variables can be reset. |
530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE |
Additional physical form available note |
Disponible en línea. |
540 ## - NOTA DE CONDICIONES DE USO Y REPRODUCCION |
Fuente del término |
cc |
Términos que regulan el uso y reproducción |
Creative Commons Atribución-NoComercial-SinDerivadas 2.5 Argentina. |
Derechos de uso y reproducción (CC BY-NC-ND) |
CC BY-NC-ND |
Identificador Uniforme del Recurso |
<a href="https://creativecommons.org/licenses/by-nc-nd/2.5/ar/">https://creativecommons.org/licenses/by-nc-nd/2.5/ar/</a> |
650 #4 - Entradas Secundarias - Términos temáticos |
Fuente del encabezamiento o término |
Theory of Computation |
650 #4 - Entradas Secundarias - Términos temáticos |
Tópico o nombre geográfico |
Teoria de la computación |
653 ## - Término Indizado - No Controlado |
Término |
Parametrised propositional dynamic logic |
653 ## - Término Indizado - No Controlado |
Término |
Infinite domain |
653 ## - Término Indizado - No Controlado |
Término |
Satisfiability |
653 ## - Término Indizado - No Controlado |
Término |
Service synthesis |
653 ## - Término Indizado - No Controlado |
Término |
Games |
653 ## - Término Indizado - No Controlado |
Término |
PDL |
653 ## - Término Indizado - No Controlado |
Término |
Lógica proposicional dinámica parametrizada |
653 ## - Término Indizado - No Controlado |
Término |
Dominio infinito |
653 ## - Término Indizado - No Controlado |
Término |
Satisfactibilidad |
653 ## - Término Indizado - No Controlado |
Término |
Síntesis de servidores |
653 ## - Término Indizado - No Controlado |
Término |
Juegos |
700 1# - Entradas Secundarias - Nombre Personal |
9 (RLIN) |
593 |
Nombre Personal |
Areces, Carlos Eduardo, |
Fechas asociadas con el nombre |
1971- , |
Término de relación |
dir. |
856 41 - Localización Electrónica y Acceso |
Link text |
Acceso a RDU-UNC |
Identificador Uniforme de Recurso (URI) |
http://hdl.handle.net/11086/2817 |
942 ## - Elementos Agregados (KOHA) |
Source of classification or shelving scheme |
|
Koha item type |
Trabajo Especial de Grado |
945 ## - Inforación de Procesamiento Local (OCLC) |
AAAA-MM-DD - Fecha de ingreso o modificacion |
2015-06-15 |
-- |
2020-04-27 |