The following pages link to A fully syntactic AC-RPO. (Q1400715):
Displaying 7 items.
- SGGS decision procedures (Q2096457) (← links)
- Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent (Q3454085) (← links)
- CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems (Q3454087) (← links)
- AC-KBO revisited (Q4593023) (← links)
- Extending Maximal Completion (Invited Talk) (Q5089002) (← links)
- Building Theorem Provers (Q5191110) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
