UITP - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 4 from 4

2012

Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, UITP 2010, Edinburgh, UK, July 15, 2010David Aspinall 0001, Claudio Sacerdoti Coen, editors, Volume 285 of Electronic Notes in Theoretical Computer Science, Elsevier, 2012. [doi]

2009

Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers, UITP@TPHOLs 2008, Montréal, Canada, August 22, 2008Serge Autexier, Christoph Benzmüller, editors, Volume 226 of Electronic Notes in Theoretical Computer Science, Elsevier, 2009. [doi]

2007

Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006Serge Autexier, Christoph Benzmüller, editors, Volume 174 of Electronic Notes in Theoretical Computer Science, Elsevier, 2007. [doi]

2004

Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs 2003, Rome, Italy, September 8, 2003David Aspinall 0001, Christoph Lüth, editors, Volume 103 of Electronic Notes in Theoretical Computer Science, Elsevier, 2004. [doi]

Sign in or sign up to see more results.

runs on WebDSL