Pages that link to "Item:Q5747768"
From MaRDI portal
The following pages link to A Decidable Class of Nested Iterated Schemata (Q5747768):
Displaying 4 items.
- On deciding satisfiability by theorem proving with speculative inferences (Q438533) (← links)
- A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata (Q5495914) (← links)
- A Decidable Class of Nested Iterated Schemata (Q5747768) (← links)
- RegSTAB: A SAT Solver for Propositional Schemata (Q5747769) (← links)
