Enhanced Theorem Reuse by Partial Theory Inclusions

Immanuel Normann. Enhanced Theorem Reuse by Partial Theory Inclusions. In Jacques Calmet, Tetsuo Ida, Dongming Wang, editors, Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings. Volume 4120 of Lecture Notes in Computer Science, pages 40-52, Springer, 2006. [doi]

Abstract

Abstract is missing.