Proving correctness of a compiler using step-indexed logical relations by Rodríguez, Leonardo, Pagano, Miguel, Fridlender, Daniel

Get full text
Get full text

Teoría de modelos para lógica modal con predicados de caminos by Torres Villegas, Leonardo Luis

Get full text

GRABADOS CUPULIFORMES EN LA CUENCA ALTA DEL RÍO CUARTO (CÓRDOBA, ARGENTINA). UNA APROXIMACIÓN A LAS ESCENAS Y ESCENOGRAFÍAS DE LOS PETROGLIFOS DE VILLA EL CHACAY by Ponzio, Arabela

“…Este artigo apresenta quatro locais inéditas da cidade de Villa El Chacay, considerando o cenário da sua localização e as características formais na concepção dos petróglifos.Palavras-chave: Cupules -  Cenário – Água. AbstractNestled in the south of the Sierra de Comechingones, on a metamorphic environment in which several rivers and streams give rise to the Cuarto river, numerous petroglyphs are composed unanimously by cupules. …”
Get full text
Get full text

Una aproximación a las trayectorias estilísticas cerámicas del valle de Guandacol (Provincia de La Rioja): continuidades y rupturas entre los siglos XIII y XVIII by Carosio, Sebastián, Iniesta, M. Lourdes

“…Por ello indagamos en las trayectorias de continuidad y ruptura en las prácticas de manufactura entre los siglos XIII y XVIII. AbstractWe present the results of our studies of the stylistic manifestations ceramics that show the different archaeological sites in the Guandacol valley (La Rioja). …”
Get full text
Get full text

El sitio Abrigo Pozo Cavado, Puna de Salta. Nuevo aporte arqueológico y cronológico para el estudio de procesos de cambio hacia finales del Holoceno medio (ca. 5600-4600 años AP) /... by López, Gabriel E. J.; CONICET, Instituto de Arqueología, Universidad de Buenos Aires, Orsi, Juan Pablo

“…Por último, se destaca la presencia de cuentas de valva.Palabras clave: Holoceno medio; procesos de cambio; Puna de Salta.AbstractThis paper analyzes and discusses new archaeological and chronological data at the end of the Middle Holocene (ca. 5600-4600 years BP) from the Abrigo Pozo Cavado site. …”
Get full text
Get full text

RAZA, RACIOLOGÍA Y RACISMO EN LA OBRA DE MARCELO BÓRMIDA/Race, raciology and racism in Marcelo Bórmida`s works. by Silla, Rolando; CONICET-IDES

“…Para este análisis, utilizaremos principalmente dos de sus primeras obras: una sobre el poblamiento de la isla de Pascua (Chile) y otra sobre el poblamiento de la Patagonia (Argentina). Abstract In this work the concept of race in the first ten years of Marcelo Bórmida’s research  is analyzed. …”
Get full text
Get full text

LA TEORÍA DE LOS CAMPOS DESDE EL PRISMA DE LA LITERATURA / Fields theory through the prism of literature by Jurt, Joseph; Frankreich Zentrum / Universidad de Friburgo

“…Presenta una síntesis de los problemas analíticos abordados en el libro en torno a la noción de campo literario y sus relaciones con los campos político, científico y artístico, así como sobre la lógica del campo de la recepción.Abstract  This article was originally written by Joseph Jurt expressly as an introduction to Naciones literatias. …”
Get full text
Get full text

On the redshift of the gamma-ray blazar PKS 0447-439: Optical spectroscopy using Gemini observations with high S/N ratio by Rovero, A.C., Donzelli, Carlos, Muriel, Hernán, Cilis, A., Pichel, A.C.

“…Abstract: The BL-Lac blazar PKS 0447-439 was detected at very high energy gamma-rays by HESS following the discovery by Fermi-LAT. …”
Get full text