The following pages link to Abstract canonical presentations (Q2500482):
Displaying 7 items.
- Some general results about proof normalization (Q1931341) (← links)
- Regaining cut admissibility in deduction modulo using abstract completion (Q2266989) (← links)
- Abstract canonical presentations (Q2500482) (← links)
- Structures for abstract rewriting (Q2642463) (← links)
- Canonicity! (Q3541714) (← links)
- Canonical Ground Horn Theories (Q4916071) (← links)
- Canonicity1 1This research was supported in part by the Israel Science Foundation (grant no. 254/01). (Q4916226) (← links)
