Mostrando
1 - 3
Resultados de
3
Para Buscar '
Carreiro, F.
'
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
Carreiro, F.
Mostrando
1 - 3
Resultados de
3
Para Buscar '
Carreiro, F.
'
, tiempo de consulta: 0.03s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
On characterization, definability and ω-saturated models
por
Carreiro
,
F
.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
2
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:
3
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:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Definability
Modal logic
Characterization
Formal logic
Model theory
Additional datum
Characterization theorems
Computation theory
Computer circuits
Computer simulation
Data structures
First order
First order logic
General theory
General version
Interpolation
Logical language
Modal logics
Model properties
Observational equivalences
Relational Model
Saturated model
Saturation
Saturation (materials composition)
Semantics
Separation
Separation theorem
Simulation
Cargando...