FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
UITP FULL PAPERS: KEYWORD INDEX
Shortcuts: CDFGHIJLMNPRSTUV
C
chat bot
Controlled Natural Language
D
Deductive interactive program verification
direct-manipulation interaction
F
first-order logic
focused sequent calculus
G
generic proof assistant
H
higher-order logic programming
I
interactive theorem prover
Isabelle
J
jEdit
L
lambda-prolog
M
Mathematical language
N
Natural language
P
proof assistant
Proof checking
proof compression
Prover IDE
R
Resolution
S
simple proof assistant
T
TCP server
text-based interaction
U
unification
user interface
V
VSCode