Volume 174; Issue 2

Electronic Notes in Theoretical Computer Science

Volume 174; Issue 2
1

Enhancing Theorem Prover Interfaces with Program Slice Information

Louise A. Dennis
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 285 KB
english, 2007
3

Tinycals: Step by Step Tacticals

Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 419 KB
english, 2007
6

Web Interfaces for Proof Assistants

Cezary Kaliszyk
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 408 KB
english, 2007
7

Tool Support for Proof Engineering

Anne Mulhern, Charles Fischer, Ben Liblit
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 739 KB
english, 2007
8

Preface

Serge Autexier, Christoph Benzmüller
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 98 KB
english, 2007
9

Presenting and Explaining Mizar

Josef Urban, Grzegorz Bancerek
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 313 KB
english, 2007
10

An Interactive Derivation Viewer

Steven Trac, Yury Puzis, Geoff Sutcliffe
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 1.05 MB
english, 2007