FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

Shortcuts: AFHINOPRSTV
A
automated theorem proving
F
first-order logic
H
higher-order logic
I
Isabelle/HOL
N
nanoCoP
Natural deduction
neural networks
non-clausal theorem proving
Normal Form
O
optimization techniques
P
Preprocessing
Proof theory
R
Resolution Calculi
S
sequent calculus
syntax
T
temporal logic
theorem proving
tptp
Translation
V
Verified Prover