Search results for: Peter V. Homeier
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 244-259
Lecture Notes in Computer Science > Higher Order Logic Theorem Proving and Its Applications > 269-284
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 130-146
Information and Computation > 2003 > 187 > 1 > 1-19