Proving theorems by reuse

Authors:
Christopher Walther;Thomas Kolbe
Affiliations:
Technische Univ. Darmstadt, Darmstadt, Germany;Technische Univ. Darmstadt, Darmstadt, Germany
Venue:
Artificial Intelligence
Year:
2000

Citing 0
Cited 2

Determining detailed structural correspondence for generalization tasks

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Strategic Issues, Problems and Challenges in Inductive Theorem Proving

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract