Revisiting C1 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mauricio Osorio, José Luis Carballido, Claudia Zepeda. Revisiting C1. In Juan Carlos Acosta Guadarrama, editor, Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014. Volume 1287 of CEUR Workshop Proceedings, pages 1-8, CEUR-WS.org, 2014. [doi]

This author has not been identified. Look up 'Mauricio Osorio' in GoogleThis author has not been identified. Look up 'José Luis Carballido' in GoogleThis author has not been identified. Look up 'Claudia Zepeda' in Google

runs on WebDSL