Ground Canonicity
| dc.creator | Dershowitz, Nachum | |
| dc.date | 2003-04-10 | |
| dc.date.accessioned | 2026-07-07T03:19:35Z | |
| dc.date.available | 2026-07-07T03:19:35Z | |
| dc.description | We explore how different proof orderings induce different notions of saturation. We relate completion, paramodulation, saturation, redundancy elimination, and rewrite system reduction to proof orderings. | |
| dc.identifier | https://arxiv.org/abs/cs/0304017 | |
| dc.identifier | http://arxiv.org/abs/cs/0304017 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/31522 | |
| dc.subject | Logic in Computer Science | |
| dc.subject | F.4.1 | |
| dc.title | Ground Canonicity | |
| dc.type | text |