Proceedings of the 7th workshop on user interfaces for theorem provers (UITP 2006), Seattle, WA, USA, August 21, 2006
From MaRDI portal
Publication:373628
zbMATH Open1273.68014MaRDI QIDQ373628FDOQ373628
Authors:
Publication date: 18 October 2013
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/174/2
Recommendations
- Proceedings of the 9th international workshop on user interfaces for theorem provers (UITP10), Edinburgh, UK, July 15, 2010
- Proceedings of the 8th international workshop on user interfaces for theorem provers (UITP 2008), Montréal, Canada, August 22, 2008
- Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22--25, 2016. Proceedings
- Functional design and implementation of graphical user interfaces for theorem provers
- Interactive theorem proving. Third international conference, ITP 2012, Princeton, NJ, USA, August 13--15, 2012. Proceedings
- Interactive theorem proving. 6th international conference, ITP 2015, Nanjing, China, August 24--27, 2015. Proceedings
- A synthesis of the procedural and declarative styles of interactive theorem proving
- Proceedings of the seventh workshop on proof eXchange for theorem proving, Pittsburg, USA, July 11, 2021
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Cited In (1)
Uses Software
This page was built for publication: Proceedings of the 7th workshop on user interfaces for theorem provers (UITP 2006), Seattle, WA, USA, August 21, 2006
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q373628)
