Mostrando 1 - 3 Resultados de 3 Para Buscar 'Queiroz R.' Saltar al contenido
BDU3
  • Inicio
Avanzado
  • Autor
  • Queiroz R.
Mostrando 1 - 3 Resultados de 3 Para Buscar 'Queiroz R.', tiempo de consulta: 0.07s Limitar resultados
  1. 1
    On the expressive power of IF-logic with classical negation
    por Figueira, S., Gorín, D., Grimson, R., Beklemishev L.D., Queiroz R.
    Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
    Enlace del recurso
    SER
  2. 2
    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
  3. 3
    On the expressive power of IF-logic with classical negation
    por Figueira, S.
    Publicado 2011
    Otros Autores: “...Queiroz R....”
    Número de Clasificación: Cargando...
    Ubicado: Cargando...
    Aportado por: Biblioteca Central Dr. Luis F. Leloir (FCEN)
    Registro en Scopus
    DOI
    Handle
    Registro en la Biblioteca Digital
    Acta de conferencia Capítulo de libro
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda

Materias Relacionadas

Computation theory Computer circuits Additional datum Data structures Definability Existential second-order logic Expressive power Interpolation Logical language Modal logic Model properties Model theory Non-trivial Prenex normal forms Relational Model Second-order logic Semantics

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...