VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

A
automated theorem proving	First Class Boolean Type in First-Order Theorem Proving and TPTP SAT solving experiments in Vampire
automatic theorem provers	My Life with an Automatic Theorem Prover
AVATAR	Playing with AVATAR
E
extensionality axiom	Reasoning in First-Order Theories with Extensionality
F
First order	SAT solving experiments in Vampire
first-order theorem proving	Reasoning in First-Order Theories with Extensionality Playing with AVATAR
Formats	Proofs in Vampire
I
Isabelle/HOL	My Life with an Automatic Theorem Prover
P
proof assistants	My Life with an Automatic Theorem Prover
Proofs	Proofs in Vampire
S
SAT	SAT solving experiments in Vampire
SAT solving	SAT solving experiments in Vampire
saturation algorithm	Reasoning in First-Order Theories with Extensionality
Saturation Algorithms	Playing with AVATAR
Standards	Proofs in Vampire
superposition	First Class Boolean Type in First-Order Theorem Proving and TPTP
superposition calculus	Reasoning in First-Order Theories with Extensionality
T
TPTP	First Class Boolean Type in First-Order Theorem Proving and TPTP
V
Vampire	Playing with AVATAR SAT solving experiments in Vampire My Life with an Automatic Theorem Prover

Disclaimer | Powered by EasyChair Smart Program