Search results for: Robert L. Constable
Science of Computer Programming > 2017 > 148 > C > 26-48
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Advances in Theorem Prover Technology > 287-303
Lecture Notes in Computer Science > Future Tendencies in Computer Science, Control and Applied Mathematics > 103-127
Lecture Notes in Computer Science > Efficient Algorithms > Models of Computation and Complexity > 3-17
Journal of Automated Reasoning > 1999 > 22 > 2 > 171-221
Information and Computation > 1998 > 143 > 2 > 137-153