Pages that link to "Item:Q5458807"
From MaRDI portal
The following pages link to Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis (Q5458807):
Displayed 4 items.
- Counting proofs in propositional logic (Q1014285) (← links)
- A coinductive approach to proof search through typed lambda-calculi (Q2231698) (← links)
- Finite Combinatory Logic with Intersection Types (Q3007665) (← links)
- Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search (Q5236550) (← links)