Proving Inductive Theorems Based on Term Rewriting Systems

Authors:
Dieter Hofbauer;Ralf-Detlef Kutsche
Affiliations:
-;-
Venue:
Proceedings of the International Workshop on Algebraic and Logic Programming
Year:
1988

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.00

Visualization

Abstract