lista alfabética de seriadaslista por materiabúsqueda de títulos índice de autoresíndice de materia
Colección de la biblioteca

Base de datos : article
Búsqueda : MIRANDA-PEREA, FAVIO E. [Autor]
Referencias encontradas : 2 [refinar]
Mostrando: 1 .. 2   en el formato [ISO 690]

página 1 de 1

   1 / 2
selecciona
para imprimir
 Miranda-Perea, Favio E., Estrada Zavaleta, Ximena and González Huesca, Lourdes del Carmen Fitch-Style Modal Necessity as a Substructural Sequent-Style System. Comp. y Sist., Mar 2023, vol.27, no.1, p.315-326. ISSN 1405-5546
    · resumen en inglés    · texto en inglés

   2 / 2
selecciona
para imprimir
 Miranda-Perea, Favio E., Omaña Silva, Sammantha and González Huesca, Lourdes del Carmen A Dual-Context Sequent Calculus for S 4 Modal Lambda-Term Synthesis. Comp. y Sist., June 2022, vol.26, no.2, p.787-799. ISSN 1405-5546
    · resumen en inglés    · texto en inglés

página 1 de 1
   


Refinar la búsqueda
  Base de datos : article Formulario avanzado   
Buscar por : Formulario libre    Formulario básico

    Buscar en el campo  
1  
2
3
 
           



Search engine: iAH powered by WWWISIS

BIREME/OPS/OMS - Centro Latinoamericano y del Caribe de Información en Ciencias de la Salud