Mostrando
1 - 10
Resultados de
10
Para Buscar '
Mera, Sergio Fernando
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Mera, Sergio Fernando
Mostrando
1 - 10
Resultados de
10
Para Buscar '
Mera, Sergio Fernando
'
, tiempo de consulta: 0.04s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Problemas de grafos : intersección y overlap de arcos alrededor de un círculo
por
Mera
,
Sergio
Fernando
,
Mera
,
Sergio
Fernando
Publicado 2001
Número de Clasificación:
Cargando...
Ubicado:
Cargando...
Aportado por:
Biblioteca Central Dr. Luis F. Leloir (FCEN)
Tesis
Libro
Cargando...
Agregar a favoritos
Guardado en:
2
Lógicas modales con memoria
por
Mera
,
Sergio
Fernando
Publicado 2009
Aportado por:
Repositorio Digital de la Universidad de Buenos Aires (UBA)
Enlace del recurso
Enlace del recurso
Tesis doctoral
publishedVersion
Agregar a favoritos
Guardado en:
3
Lógicas modales con memoria
por
Mera
,
Sergio
Fernando
Publicado 2009
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Tesis doctoral
publishedVersion
Agregar a favoritos
Guardado en:
4
Lógicas modales con memoria
por
Mera
,
Sergio
Fernando
Publicado 2009
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Tesis Doctoral
Agregar a favoritos
Guardado en:
5
Algorithms for clique-independent sets on subclasses of circular-arc graphs
por
Durán, Guillermo A.
,
Lin, Min Chih
,
Mera
,
Sergio
Fernando
Publicado 2006
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Enlace del recurso
Agregar a favoritos
Guardado en:
6
Model checking legal documents
por
Gorín, Daniel Alejandro
,
Mera
,
Sergio
Fernando
,
Schapachnik, Fernando Pablo
Publicado 2010
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Enlace del recurso
Agregar a favoritos
Guardado en:
7
Completeness results for memory logics
por
Areces, Carlos Eduardo
,
Figueira, Santiago Daniel
,
Mera
,
Sergio
Fernando
Publicado 2009
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Enlace del recurso
Agregar a favoritos
Guardado en:
8
Completeness results for memory logics
por
Areces, Carlos Eduardo
,
Figueira, Santiago Daniel
,
Mera
,
Sergio
Fernando
Publicado 2012
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Enlace del recurso
Agregar a favoritos
Guardado en:
9
Clique-independent sets of Helly circular-arc graphs
por
Durán, Guillermo A.
,
Lin, Min Chih
,
Mera
,
Sergio
Fernando
Publicado 2004
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
Enlace del recurso
Agregar a favoritos
Guardado en:
10
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
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
AXIOMATIZACION
AXIOMATIZATION
DECIDABILITY
DECIDIBILIDAD
EXPRESIVIDAD
EXPRESSIVITY
INTERPOLACION
INTERPOLATION
LOGIC
LOGICA
MEMORIA
MEMORY
MODAL
TABLEAU
Helly circular-arc graphs
Hybrid logics
Modal logics
Algorithms
Automated Legislative Drafting
Automatic analysis
Bisimulation
Circular-arc graphs
Clique-independent sets
Complete axiomatizations
Completeness
Computability and decidability
Computational complexity
Computational methods
Computer science
Data structures
Cargando...