Publication:2723441
From MaRDI portal
zbMath0963.03006MaRDI QIDQ2723441
Renate A. Schmidt, Ullrich Hustadt
Publication date: 5 July 2001
03B25: Decidability of theories and sets of sentences
03B35: Mechanization of proofs and logical operations
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Harald Ganzinger’s Legacy: Contributions to Logics and Programming, First-Order Resolution Methods for Modal Logics, Deciding expressive description logics in the framework of resolution, A new methodology for developing deduction methods