Ground Canonicity

Details Ground Canonicity Ground Canonicity

2003-04-10

arxiv.org/abs/cs/0304017v1

Computer Science

Logic in Computer Science

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Ground Canonicity does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Ground Canonicity, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Ground Canonicity will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-411215