Mostrando
1 - 10
Resultados de
10
Para Buscar '
Areces, C.
'
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
Areces, C.
Mostrando
1 - 10
Resultados de
10
Para Buscar '
Areces, C.
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Completeness results for memory logics
por
Areces
,
C
.
,
Figueira, S.
,
Mera, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
2
Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
por
Areces
,
C
.
,
Gorín, D.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
3
Resolution with order and selection for hybrid logics
por
Areces
,
C
.
,
Gorín, D.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
4
Completeness results for memory logics
por
Areces
,
C
.
,
Figueira, S.
,
Mera, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
5
Using logic in the generation of referring expressions
por
Areces
,
C
.
,
Figueira, S.
,
Gorín, D.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
6
Characterization, definability and separation via saturated models
por
Areces
,
C
.
,
Carreiro, F.
,
Figueira, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
7
Expressive power and decidability for memory logics
por
Areces
,
C
.
,
Figueira, D.
,
Figueira, S.
,
Mera, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
8
Tableaux and model checking for memory logics
por
Areces
,
C
.
,
Figueira, D.
,
Gorín, D.
,
Mera, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
9
Basic model theory for memory logics
por
Areces
,
C
.
,
Carreiro, F.
,
Figueira, S.
,
Mera, S.
,
Beklemishev L.D.
,
Queiroz R.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
10
Modal logic as a design notation
por
Areces
,
C
.
,
Felder, M.
,
Hirsch, D.
,
Yankelevich, D.
,
ACM Special Interest Group on Software Engineering (SIGSOFT)
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Modal logic
Modal logics
Computer circuits
Data structures
Formal logic
Hybrid logics
Linguistics
Logical language
Biomineralization
Definability
Expressive power
Modal language
Model checking
Model theory
Relational Model
Satisfiability
Additional datum
Automata theory
Bisimulation
Bisimulations
Boolean functions
Calculations
Characterization
Characterization theorems
Coinduction
Complete axiomatizations
Completeness
Computability and decidability
Computation theory
Computational complexity
Cargando...