VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: ACFGIJLMPSTUVX
A
Asyncrhonous Interaction
C
certification
Coq
F
Focus Groups
G
generic
Graphical user interface
I
Interactive Theorem Provers
Isabelle
J
jEdit
L
logic
M
MMT
P
PIDE
Proof strategy language
proof theory
Prover IDE
S
sequent calculus
Sunburst Tree
T
term rewriting
theorem provers
Tool paper
U
unifying theories of programming
Usability
user interface
user interfaces
V
visualization
X
XML