Electronic Notes in Theoretical Computer Science, Volume 226

Volume 226, January 2009

• Serge Autexier, Christoph Benzmüller:
  Preface. 1-2
  Electronic Edition (link) BibTeX
• David Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner:
  Towards Merging PlatOmega and PGIP. 3-21
  Electronic Edition (link) BibTeX
• John Byrnes, Michael Buchanan, Michael Ernst, Philip Miller, Chris Roberts, Robert Keller:
  Visualizing Proof Search for Theorem Prover Development. 23-38
  Electronic Edition (link) BibTeX
• William M. Farmer, Orlin G. Grigorov:
  Panoptes: An Exploration Tool for Formal Proofs. 39-48
  Electronic Edition (link) BibTeX
• Holger Gast:
  Managing Proof Documents for Asynchronous Processing. 49-66
  Electronic Edition (link) BibTeX
• Claudio Sacerdoti Coen:
  A User Interface for a Mathematical System that Allows Ambiguous Formulae. 67-87
  Electronic Edition (link) BibTeX
• Andrea Asperti, Enrico Tassi:
  An Interactive Driver for Goal-directed Proof Strategies. 89-105
  Electronic Edition (link) BibTeX