equal
deleted
inserted
replaced
135 and Jan Smith}, |
135 and Jan Smith}, |
136 series = {LNCS}, |
136 series = {LNCS}, |
137 year = 2000 |
137 year = 2000 |
138 } |
138 } |
139 |
139 |
|
140 @INPROCEEDINGS{Berghofer-Nipkow:2000:TPHOL, |
|
141 crossref = "tphols2000", |
|
142 title = "Proof terms for simply typed higher order logic", |
|
143 author = "Stefan Berghofer and Tobias Nipkow", |
|
144 pages = "38--52"} |
|
145 |
140 @InProceedings{Berghofer-Wenzel:1999:TPHOL, |
146 @InProceedings{Berghofer-Wenzel:1999:TPHOL, |
141 author = {Stefan Berghofer and Markus Wenzel}, |
147 author = {Stefan Berghofer and Markus Wenzel}, |
142 title = {Inductive datatypes in {HOL} --- lessons learned in |
148 title = {Inductive datatypes in {HOL} --- lessons learned in |
143 {F}ormal-{L}ogic {E}ngineering}, |
149 {F}ormal-{L}ogic {E}ngineering}, |
144 crossref = {tphols99}} |
150 crossref = {tphols99}} |
1343 editor = {Bertot, Y. and Dowek, G. and Hirschowitz, A. and |
1349 editor = {Bertot, Y. and Dowek, G. and Hirschowitz, A. and |
1344 Paulin, C. and Thery, L.}, |
1350 Paulin, C. and Thery, L.}, |
1345 series = {LNCS 1690}, |
1351 series = {LNCS 1690}, |
1346 year = 1999} |
1352 year = 1999} |
1347 |
1353 |
|
1354 @PROCEEDINGS{tphols2000, |
|
1355 editor = "J. Harrison and M. Aagaard", |
|
1356 booktitle = "Theorem Proving in Higher Order Logics: |
|
1357 13th International Conference, TPHOLs 2000", |
|
1358 series = "Lecture Notes in Computer Science", |
|
1359 volume = 1869, |
|
1360 year = 2000, |
|
1361 publisher = "Springer-Verlag"} |