Induction using Term Orderings

Authors:
François Bronsard;Uday S. Reddy;Robert W. Hasker
Affiliations:
-;-;-
Venue:
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Year:
1994

Citing 0
Cited 2

Test Sets for the Universal and Existential Closure of Regular Tree Languages

RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Strategic Issues, Problems and Challenges in Inductive Theorem Proving

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.01

Visualization

Abstract