equal
deleted
inserted
replaced
223 journal = {Indag. Math.}, |
223 journal = {Indag. Math.}, |
224 volume = 34, |
224 volume = 34, |
225 pages = {381-392}, |
225 pages = {381-392}, |
226 year = 1972} |
226 year = 1972} |
227 |
227 |
|
228 @InProceedings{bulwahnKN07, |
|
229 author = {Lukas Bulwahn and Alexander Krauss and Tobias Nipkow}, |
|
230 title = {Finding Lexicographic Orders for Termination Proofs in {Isabelle/HOL}}, |
|
231 booktitle = {TPHOLS 2007}, |
|
232 year = {2007}, |
|
233 publisher = Springer, |
|
234 note = {To appear}} |
|
235 |
228 @Article{ban89, |
236 @Article{ban89, |
229 author = {M. Burrows and M. Abadi and R. M. Needham}, |
237 author = {M. Burrows and M. Abadi and R. M. Needham}, |
230 title = {A Logic of Authentication}, |
238 title = {A Logic of Authentication}, |
231 journal = PROYAL, |
239 journal = PROYAL, |
232 year = 1989, |
240 year = 1989, |
560 Tree Search}, |
568 Tree Search}, |
561 journal = AI, |
569 journal = AI, |
562 year = 1985, |
570 year = 1985, |
563 volume = 27, |
571 volume = 27, |
564 pages = {97-109}} |
572 pages = {97-109}} |
|
573 |
|
574 @InProceedings{krauss2006, |
|
575 author = {Alexander Krauss}, |
|
576 title = {Partial Recursive Functions in {Higher-Order Logic}}, |
|
577 crossref = {ijcar2006}, |
|
578 pages = {589--603}} |
565 |
579 |
566 @Book{kunen80, |
580 @Book{kunen80, |
567 author = {Kenneth Kunen}, |
581 author = {Kenneth Kunen}, |
568 title = {Set Theory: An Introduction to Independence Proofs}, |
582 title = {Set Theory: An Introduction to Independence Proofs}, |
569 publisher = NH, |
583 publisher = NH, |
1137 crossref = {fme93}} |
1151 crossref = {fme93}} |
1138 |
1152 |
1139 @inproceedings{slind-tfl, |
1153 @inproceedings{slind-tfl, |
1140 author = {Konrad Slind}, |
1154 author = {Konrad Slind}, |
1141 title = {Function Definition in Higher Order Logic}, |
1155 title = {Function Definition in Higher Order Logic}, |
1142 booktitle = {Theorem Proving in Higher Order Logics}, |
1156 crossref = {tphols96}, |
1143 editor = {J. von Wright and J. Grundy and J. Harrison}, |
1157 pages = {381-397}} |
1144 publisher = Springer, |
|
1145 series = LNCS, |
|
1146 volume = 1125, |
|
1147 pages = {381-397}, |
|
1148 year = 1996} |
|
1149 |
1158 |
1150 @book{suppes72, |
1159 @book{suppes72, |
1151 author = {Patrick Suppes}, |
1160 author = {Patrick Suppes}, |
1152 title = {Axiomatic Set Theory}, |
1161 title = {Axiomatic Set Theory}, |
1153 year = 1972, |
1162 year = 1972, |
1506 publisher = Springer, |
1515 publisher = Springer, |
1507 series = LNCS, |
1516 series = LNCS, |
1508 volume = 2152, |
1517 volume = 2152, |
1509 year = 2001} |
1518 year = 2001} |
1510 |
1519 |
|
1520 @Proceedings{ijcar2006, |
|
1521 title = {Automated Reasoning: {IJCAR} 2006}, |
|
1522 booktitle = {Automated Reasoning: {IJCAR} 2006}, |
|
1523 editor = {U. Furbach and N. Shankar}, |
|
1524 publisher = Springer, |
|
1525 series = LNCS, |
|
1526 volume = 4130, |
|
1527 year = 2006} |
|
1528 |
1511 @unpublished{classes_modules, |
1529 @unpublished{classes_modules, |
1512 title = {ML Modules and Haskell Type Classes: A Constructive Comparison}, |
1530 title = {ML Modules and Haskell Type Classes: A Constructive Comparison}, |
1513 author = {Stefan Wehr et. al.} |
1531 author = {Stefan Wehr et. al.} |
1514 } |
1532 } |