Pages that link to "Item:Q5277826"
From MaRDI portal
The following pages link to Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars (Q5277826):
Displaying 6 items.
- The problem of \(\Pi_{2}\)-cut-introduction (Q1680562) (← links)
- On the compressibility of finite languages and formal proofs (Q1706152) (← links)
- Herbrand's theorem as higher order recursion (Q1987218) (← links)
- On the generation of quantified lemmas (Q2417949) (← links)
- On the Herbrand content of LK (Q5015361) (← links)
- (Q5208872) (← links)
