Volume 11; Issue 3

Formal Aspects of Computing

Volume 11; Issue 3

1

Editorial

Journal:

Formal Aspects of Computing

Year:

1999

Language:

english

File:

PDF, 29 KB

english, 1999

2

The CtCoq System: Design and Architecture

Journal:

Formal Aspects of Computing

Year:

1999

Language:

english

File:

PDF, 152 KB

english, 1999

3

A Minimal Graphical User Interface for the Jape Proof Calculator

Richard Bornat, Bernard Sufrin

Journal:

Formal Aspects of Computing

Year:

1999

Language:

english

File:

PDF, 382 KB

english, 1999

4

Social and Semiotic Analyses for Theorem Prover User Interface Design 1

Journal:

Formal Aspects of Computing

Year:

1999

Language:

english

File:

PDF, 452 KB

english, 1999

5

Interactive Proof Critics

Andrew Ireland, Michael Jackson, Gordon Reid

Journal:

Formal Aspects of Computing

Year:

1999

Language:

english

File:

PDF, 414 KB

english, 1999

6

LΩUI: Lovely ΩMEGA User Interface

Jörg Siekmann, Stephan Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge

Journal:

Formal Aspects of Computing

Year:

1999

Language:

english

File:

PDF, 651 KB

english, 1999

7

Proving as Editing HOL Tactics

Koichi Takahashi, Masami Hagiya

Journal:

Formal Aspects of Computing

Year:

1999

Language:

english

File:

PDF, 117 KB

english, 1999