Next:
Reading Clauses
Up:
The Saturate System
Previous:
Context-free Syntax for Clauses.
Contents
The Interaction Cycle
Subsections
Reading Clauses
Selecting the Inference System
Selecting Ordering and Selection Function
Selecting the redundancy proof techniques
Selecting the output information
Selecting timing points
Saturating a system
Saving (partially) saturated set
Proof Printing
Harald Ganzinger 2002-12-04
Imprint
|
Data Protection
