Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

TIN2009-14348

Financiado

CAPACIDAD EXPRESIVA DE LAS LOGICAS DE ARBOLES

EN DIFERENTES AREAS DE LA INFORMATICA APARECEN LOGICAS PARA EXPRESAR PROPIEDADES DE ARBOLES ETIQUETADOS Y BOSQUES, POR EJEMPLO EN VERIFICACION (LOGICAS TEMPORALES DE RAMIFICACION) Y TEORIA DE BASES DE DATOS (MUCHOS LENGUAJES DE CO... ver más

01/01/2009

URV

4K€

Presupuesto del proyecto: 4K€

Líder del proyecto

UNIVERSIDAD ROVIRA I VIRGILI No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 7

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2009-01-01

0% 100%

Participantes

URV

Lider

Proyectos interesantes

LASD Logic and Automata over Sequences with Data 2M€ Cerrado

TIN2009-14562-C05-04 FEAST: FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET... 141K€ Cerrado

FFI2009-09345 NOCIONES DE COMPLETUD 48K€ Cerrado

TIN2009-14562-C05-03 FEAST: FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET... 22K€ Cerrado

ANT Automata in Number Theory 1M€ Cerrado

TIN2009-14562-C05-05 FUNDAMENTOS Y EXTENSIONES DE LA TECNOLOGIA ANSWER SET PROGRA... 54K€ Cerrado

Últimas noticias

02-12-2024: AGENCIA-VALENCIANA-D... En las últimas 48 horas el Organismo AGENCIA VALENCIANA D... ha otorgado 1 concesiones

02-12-2024: CDTI En las últimas 48 horas el Organismo CDTI ha otorgado 4 concesiones

01-12-2024: REDES En las últimas 48 horas el Organismo REDES ha otorgado 1337 concesiones

Líder del proyecto

UNIVERSIDAD ROVIRA I VIRGILI

Total investigadores 7

Presupuesto del proyecto 4K€

Descripción del proyecto EN DIFERENTES AREAS DE LA INFORMATICA APARECEN LOGICAS PARA EXPRESAR PROPIEDADES DE ARBOLES ETIQUETADOS Y BOSQUES, POR EJEMPLO EN VERIFICACION (LOGICAS TEMPORALES DE RAMIFICACION) Y TEORIA DE BASES DE DATOS (MUCHOS LENGUAJES DE CONSULTA XML), EL OBJETIVO DE ESTE PROYECTO ES INVESTIGAR LA CAPACIDAD EXPRESIVA DE LAS LOGICAS DE ARBOLES, PRINCIPALMENTE DE AQUELLAS LOGICAS QUE PUEDEN SER CAPTURADAS POR AUTOMATAS DE ARBOLES, UN ESTUDIO SIMILAR DE LOS LENGUAJES DE SECUENCIAS ES UNA DE LAS LINEAS ESENCIALES DE INVESTIGACION EN TEORIA DE LENGUAJES FORMALES, EL ESTUDIO DE LA CAPACIDAD EXPRESIVA DE LAS LOGICAS DE SECUENCIAS HA CONDUCIDO A MUCHOS RESULTADOS FUNDAMENTALES, COMO LA CARACTERIZACION DE SCHUTZENBERGER DE LOS LENGUAJES SIN ESTRELLA DE KLEENE Y EL TEOREMA DE DESCOMPOSICION DE KROHN-RHODES, TRATAREMOS DE AMPLIAR ESTA INVESTIGACION AL CASO DE LOS ARBOLES, EL TIPO DE PREGUNTAS QUE QUEREMOS RESPONDER ES: ¿CUAL ES LA CAPACIDAD EXPRESIVA DE LA LOGICA DE PRIMER ORDEN EN ARBOLES?; ¿EXISTE UNA TEORIA DE DESCOMPOSICION DE KROHN-RHODES PARA ARBOLES?; ¿QUE ES UN GRUPO DE ARBOLES? ESPERAMOS QUE NUESTRO ESTUDIO DE LAS LOGICAS DE ARBOLES UTILICE TECNICAS ALGEBRAICAS, POSIBLEMENTE EL NUEVO ESCENARIO DEL ALGEBRA DE BOSQUES, PRETENDEMOS TAMBIEN AMPLIAR EL MARCO ALGEBRAICO MAS ALLA DE LOS LENGUAJES REGULARES DE ARBOLES FINITOS A ARBOLES INFINITOS, Y A LENGUAJES NO REGULARES, ARBOL\LOGICA\AUTOMATA\LENGUAJE FORMAL\ALGEBRA\INFORMATICA TEORICA

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores