Proceedings of the 9th international workshop on user interfaces for theorem provers (UITP10), Edinburgh, UK, July 15, 2010

MaRDI QIDQ2440903zbMATH OpenFDO

Authors

Publication date 20 March 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL http://www.sciencedirect.com/science/journal/15710661/285

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• Proceedings of the 7th workshop on user interfaces for theorem provers (UITP 2006), Seattle, WA, USA, August 21, 2006
• Proceedings of the 8th international workshop on user interfaces for theorem provers (UITP 2008), Montréal, Canada, August 22, 2008
• Interactive theorem proving. First international conference, ITP 2010, Edinburgh, UK, July 11--14, 2010. Proceedings
• scientific article; zbMATH DE number 7123527
• Interactive theorem proving. Third international conference, ITP 2012, Princeton, NJ, USA, August 13--15, 2012. Proceedings
• Functional design and implementation of graphical user interfaces for theorem provers
• Interactive theorem proving. Second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22--25, 2011. Proceedings
• A synthesis of the procedural and declarative styles of interactive theorem proving

Cited in

(1)

• Proceedings of the 7th workshop on user interfaces for theorem provers (UITP 2006), Seattle, WA, USA, August 21, 2006

Describes a project that uses

Uses Software

• Coq
• Maple

This page was built for publication: Proceedings of the 9th international workshop on user interfaces for theorem provers (UITP10), Edinburgh, UK, July 15, 2010

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2440903)