PAAR papers: Keyword Index

PAAR PAPERS: KEYWORD INDEX

Papers Papers with Abstracts Author Index Keyword Index

Shortcuts: A F H I N O P R S T V

A
automated theorem proving	TFX: The TPTP Extended Typed First-order Form (PDF, talk)
F
first-order logic	Set of Support for Higher-Order Reasoning (PDF, talk) Dynamic Strategy Priority: Empower the strong and abandon the weak (PDF, talk) TFX: The TPTP Extended Typed First-order Form (PDF, talk) A Verified Simple Prover for First-Order Logic (PDF, talk)
H
higher-order logic	Set of Support for Higher-Order Reasoning (PDF, talk)
I
Isabelle/HOL	A Verified Simple Prover for First-Order Logic (PDF, talk)
N
nanoCoP	Proof Search Optimizations for Non-clausal Connection Calculi (PDF, talk)
Natural deduction	Efficient translation of sequent calculus proofs into natural deduction proofs (PDF, talk)
neural networks	Dynamic Strategy Priority: Empower the strong and abandon the weak (PDF, talk)
non-clausal theorem proving	Proof Search Optimizations for Non-clausal Connection Calculi (PDF, talk)
Normal Form	Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics (PDF, talk)
O
optimization techniques	Proof Search Optimizations for Non-clausal Connection Calculi (PDF, talk)
P
preprocessing	Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics (PDF, talk)
Proof theory	Efficient translation of sequent calculus proofs into natural deduction proofs (PDF, talk)
R
Resolution Calculi	Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics (PDF, talk)
S
sequent calculus	Efficient translation of sequent calculus proofs into natural deduction proofs (PDF, talk)
syntax	TFX: The TPTP Extended Typed First-order Form (PDF, talk)
T
Temporal Logic	Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics (PDF, talk)
theorem proving	Set of Support for Higher-Order Reasoning (PDF, talk) Dynamic Strategy Priority: Empower the strong and abandon the weak (PDF, talk)
tptp	TFX: The TPTP Extended Typed First-order Form (PDF, talk)
Translation	Efficient translation of sequent calculus proofs into natural deduction proofs (PDF, talk)
V
Verified Prover	A Verified Simple Prover for First-Order Logic (PDF, talk)