Vol. 7 No. 2 (2014): Special Issue: User Tutorials 2

Articles

• Abella: A System for Reasoning about Relational Specifications

  David Baelde, Kaustuv Chaudhuri, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu, Yuting Wang

  1-89

  • PDF

• Matita Tutorial

  Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen

  91-199

  • PDF