scientific article
From MaRDI portal
Publication:2723430
zbMath0963.03011MaRDI QIDQ2723430
Deepak Kapur, Mahadevan Subramaniam
Publication date: 5 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)
Related Items
A Decidable Class of Nested Iterated Schemata ⋮ A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata
Uses Software
