Pages that link to "Item:Q1014285"
From MaRDI portal
The following pages link to Counting proofs in propositional logic (Q1014285):
Displaying 9 items.
- On the number of steps in proofs (Q1119576) (← links)
- Unsolvable systems of equations and proof complexity (Q1126839) (← links)
- Enumerating lambda terms by weighted length of their de Bruijn representation (Q1706116) (← links)
- On the number of unary-binary tree-like structures with restrictions on the unary height (Q1745901) (← links)
- A coinductive approach to proof search through typed lambda-calculi (Q2231698) (← links)
- (Q3781093) (← links)
- Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search (Q5236550) (← links)
- A logical characterization of the counting hierarchy (Q5277825) (← links)
- Propositional proof skeletons (Q6535365) (← links)