In:
|
Aagaard, M.; Harrison, J. (ed.), Theorem Proving in Higher Order Logics :13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings, pp. 162-178
|
Annotation:
|
13th International Conference on Theorem Proving in Higher Order Logics Aug 14-18, 2000 Portland, oregon Intel Corporat, OGI, Oregon Grad Inst, Compaq, IBM, Intel, Levetate, Synopsys
|
Editor(s):
|
Aagaard, M.; Harrison, J.
|
Organization:
|
Foundations Software Science |
Book title:
|
Aagaard, M.; Harrison, J. (ed.), Theorem Proving in Higher Order Logics :13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings |