Pages that link to "Item:Q3648719"
From MaRDI portal
The following pages link to A Schemata Calculus for Propositional Logic (Q3648719):
Displaying 10 items.
- Simplified handling of iterated term schemata (Q616760) (← links)
- A resolution calculus for first-order schemata (Q2843818) (← links)
- A schematic extension of IMTL-logic algebras (Q2927177) (← links)
- Decidability and Undecidability Results for Propositional Schemata (Q2996912) (← links)
- Schemata of SMT-Problems (Q3010358) (← links)
- Cut-Elimination and Proof Schemata (Q3455184) (← links)
- A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata (Q5495914) (← links)
- Tractable and intractable classes of propositional schemata (Q5498869) (← links)
- A Decidable Class of Nested Iterated Schemata (Q5747768) (← links)
- RegSTAB: A SAT Solver for Propositional Schemata (Q5747769) (← links)