Mostrando
1 - 10
Resultados de
10
Para Buscar '
Areces, C.
'
Saltar al contenido
BDU
3
Inicio
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.07s
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
2
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
3
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
4
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
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
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
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
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
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
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
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...