Pages that link to "Item:Q843604"
From MaRDI portal
The following pages link to Proof compressions with circuit-structured substitutions (Q843604):
Displaying 5 items.
- A compact representation of proofs (Q1102282) (← links)
- On strong normalization in proof-graphs for propositional logic (Q1744419) (← links)
- Proof compression and NP versus PSPACE (Q2631644) (← links)
- Propositional proof compressions and DNF logic (Q3081241) (← links)
- A Subatomic Proof System for Decision Trees (Q5056373) (← links)