equal
deleted
inserted
replaced
1115 year = 1998} |
1115 year = 1998} |
1116 |
1116 |
1117 @Proceedings{tphols99, |
1117 @Proceedings{tphols99, |
1118 title = {Theorem Proving in Higher Order Logics: {TPHOLs} '99}, |
1118 title = {Theorem Proving in Higher Order Logics: {TPHOLs} '99}, |
1119 booktitle = {Theorem Proving in Higher Order Logics: {TPHOLs} '99}, |
1119 booktitle = {Theorem Proving in Higher Order Logics: {TPHOLs} '99}, |
1120 note = {in press}, |
1120 editor = {Bertot, Y. and Dowek, G. and Hirschowitz, A. and |
|
1121 Paulin, C. and Thery, L.}, |
|
1122 series = {LNCS 1690}, |
1121 year = 1999} |
1123 year = 1999} |
1122 |
1124 |