Computational Logic in Genova - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli. Computational Logic in Genova. In Matteo Baldoni, Cristina Baroglio, editors, Il Milione (i.e. 2&circ;6), Proceedings of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008. Volume 487 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]

This author has not been identified. Look up 'Viviana Mascardi' in GoogleThis author has not been identified. Look up 'Giorgio Delzanno' in GoogleThis author has not been identified. Look up 'Maurizio Martelli' in Google

runs on WebDSL