Pages that link to "Item:Q2996912"
From MaRDI portal
The following pages link to Decidability and Undecidability Results for Propositional Schemata (Q2996912):
Displayed 5 items.
- Schematic refutations of formula schemata (Q2666952) (← links)
- Reasoning on Schemas of Formulas: An Automata-Based Approach (Q2799178) (← 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)