Pages that link to "Item:Q5747768"
From MaRDI portal
The following pages link to A Decidable Class of Nested Iterated Schemata (Q5747768):
Displaying 5 items.
- On deciding satisfiability by theorem proving with speculative inferences (Q438533) (← links)
- Metalinear recursive schemas on marked trees (Q797277) (← 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)