Mostrando
1 - 5
Resultados de
5
Para Buscar '
Figueira, Diego Federico
'
Saltar al contenido
BDU
3
Inicio
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Figueira, Diego Federico
Mostrando
1 - 5
Resultados de
5
Para Buscar '
Figueira, Diego Federico
'
, tiempo de consulta: 0.04s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Bisimulaciones en Neighbourhood semantics
por
Figueira
,
Diego
Federico
,
Figueira
,
Diego
Federico
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
Aportado por:
Biblioteca Central Dr. Luis F. Leloir (FCEN)
Tesis
Libro
Cargando...
2
Bisimulaciones en Neighbourhood semantics
por
Figueira
,
Diego
Federico
Publicado 2006
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Tesis de grado
publishedVersion
3
Bisimulaciones en Neighbourhood semantics
por
Figueira
,
Diego
Federico
Publicado 2006
Aportado por:
Repositorio Digital de la Universidad de Buenos Aires (UBA)
Enlace del recurso
Enlace del recurso
Tesis de grado
publishedVersion
4
Ackermannian and primitive-recursive bounds with Dickson's Lemma
por
Figueira
,
Diego
Federico
,
Figueira, Santiago Daniel
Publicado 2011
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Enlace del recurso
5
Expressive power and decidability for memory logics
por
Areces, Carlos Eduardo
,
Figueira
,
Diego
Federico
,
Figueira, Santiago Daniel
,
Mera, Sergio Fernando
Publicado 2008
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Enlace del recurso
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Computability and decidability
Algorithmics
Bisimulation
Computation theory
Computer scientists
Constraint Solving
Data structures
Expressive power
Fuzzy logic
Heidelberg (CO)
Hybrid logics
Information theory
International (CO)
Linguistics
Modal logics
Model checking
Satisfiability (SAT) problems
Undecidability
Upper Bound
Cargando...