Decidability and Undecidability Results for Propositional Schemata (Q2996912)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decidability and Undecidability Results for Propositional Schemata |
scientific article |
Statements
Decidability and Undecidability Results for Propositional Schemata (English)
0 references
4 May 2011
0 references
propositional formula schemata
0 references
iterations
0 references
tableau proofs
0 references
coding of Post correspondence problem
0 references
