Electronic Notes in Theoretical Computer Science, Volume 226
Volume 226, January 2009
- David Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner: Towards Merging PlatOmega and PGIP. 3-21
- John Byrnes, Michael Buchanan, Michael Ernst, Philip Miller, Chris Roberts, Robert Keller: Visualizing Proof Search for Theorem Prover Development. 23-38
- Holger Gast: Managing Proof Documents for Asynchronous Processing. 49-66
- Claudio Sacerdoti Coen: A User Interface for a Mathematical System that Allows Ambiguous Formulae. 67-87
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team