A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata (Q5495914)

From MaRDI portal
Revision as of 20:33, 8 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 6327253
Language Label Description Also known as
English
A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata
scientific article; zbMATH DE number 6327253

    Statements

    Identifiers