Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Volume
•
Abstracts
•
Preface
•
Authors
•
Keywords
•
BibTex Entries
Vampire23
:
Keyword Index
Keyword
Papers
A
answer literals
Integrating Answer Literals with AVATAR for Program Synthesis
automated reasoning
The Spawns of the Saturation Framework
automated theorem proving
Lazy and Eager Patterns in High-Performance Automated Theorem Proving
Avatar
Integrating Answer Literals with AVATAR for Program Synthesis
E
efficient algorithms
Lazy and Eager Patterns in High-Performance Automated Theorem Proving
F
first-order theorem proving
The Spawns of the Saturation Framework
Integrating Answer Literals with AVATAR for Program Synthesis
I
implementation of logics
Lazy and Eager Patterns in High-Performance Automated Theorem Proving
Isabelle
The Spawns of the Saturation Framework
P
program synthesis
Integrating Answer Literals with AVATAR for Program Synthesis
S
saturation
The Spawns of the Saturation Framework
superposition
The Spawns of the Saturation Framework
Copyright © 2012-2024 easychair.org. All rights reserved.