Mostrando 1 - 3 Resultados de 3 Para Buscar 'Carreiro, F.' Saltar al contenido
BDU3
  • Inicio
Avanzado
  • Autor
  • Carreiro, F.
Mostrando 1 - 3 Resultados de 3 Para Buscar 'Carreiro, F.', tiempo de consulta: 0.01s Limitar resultados
  1. 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
  2. 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
  3. 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
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

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Revisar el Catálogo
  • Explorar canales
  • Tour (beta)

¿Necesita Ayuda?

  • Consejos de búsqueda
  • Preguntas Frecuentes
  • Contacte al adminstrador
Cargando...