Next:
General
Up:
The Saturate System
Previous:
translate: Translating Modal Logic
Contents
Heuristics for the Definition of Meta-Logical Directives
Subsections
General
Settings for Refutational Theorem Proving
Saturation of a Theory
Establishing Complexity Bounds
Harald Ganzinger 2002-12-04
Imprint
|
Data Protection