Publication:4809060
From MaRDI portal
zbMath1072.68573MaRDI QIDQ4809060
Lilia Georgieva, Renate A. Schmidt, Ullrich Hustadt
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2392/23920260.htm
Related Items
Simulation and Synthesis of Deduction Calculi, Representing and building models for decidable subclasses of equational clausal logic, Some techniques for proving termination of the hyperresolution calculus, Extracting models from clause sets saturated under semantic refinements of the resolution rule., First-Order Resolution Methods for Modal Logics, A Resolution-based Model Building Algorithm for a Fragment of OCC1N =, A new methodology for developing deduction methods