The following pages link to (Q4436026):
Displaying 4 items.
- Book review of: Matthias Baaz and Alexander Leitsch, Methods of cut-elimination (Q2350976) (← links)
- Sufficient conditions for cut elimination with complexity analysis (Q2461191) (← links)
- Computer Science Logic (Q5292638) (← links)
- Cut-elimination and redundancy-elimination by resolution (Q5927981) (← links)