Toggle navigation
Notables
de la Ciencia
ACERCA DE
PROYECTO
Historia del proyecto
Contacto
JavaScript is disabled for your browser. Some features of this site may not work without it.
PRODUCCION CIENTÍFICO TECNOLÓGICA
Mostrando ítems 1-2 de 2
Artículo
Completeness results for memory logics
Areces, Carlos
;
Figueira, Santiago
;
Mera, Sergio Fernando
(
Elsevier Science
,
2012-02
)
Artículo
The expressive power of memory logics
Areces, Carlos Eduardo
;
Figueira, Diego
;
Figueira, Santiago
;
Mera, Sergio Fernando
(
Cambridge University Press
,
2011-06
)
Mostrando ítems 1-2 de 2