equal
deleted
inserted
replaced
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, |
228 @InProceedings{bulwahnKN07, |
229 author = {Lukas Bulwahn and Alexander Krauss and Tobias Nipkow}, |
229 author = {Lukas Bulwahn and Alexander Krauss and Tobias Nipkow}, |
230 title = {Finding Lexicographic Orders for Termination Proofs in {Isabelle/HOL}}, |
230 title = {Finding Lexicographic Orders for Termination Proofs in {Isabelle/HOL}}, |
231 booktitle = {TPHOLS 2007}, |
231 crossref = {tphols2007}, |
232 year = {2007}, |
232 pages = {38--53} |
233 publisher = Springer, |
233 } |
234 note = {To appear}} |
|
235 |
234 |
236 @Article{ban89, |
235 @Article{ban89, |
237 author = {M. Burrows and M. Abadi and R. M. Needham}, |
236 author = {M. Burrows and M. Abadi and R. M. Needham}, |
238 title = {A Logic of Authentication}, |
237 title = {A Logic of Authentication}, |
239 journal = PROYAL, |
238 journal = PROYAL, |
1573 publisher = Springer, |
1572 publisher = Springer, |
1574 series = LNCS, |
1573 series = LNCS, |
1575 volume = 4130, |
1574 volume = 4130, |
1576 year = 2006} |
1575 year = 2006} |
1577 |
1576 |
|
1577 @Proceedings{tphols2007, |
|
1578 title = {Theorem Proving in Higher Order Logics: {TPHOLs} 2007}, |
|
1579 booktitle = {Theorem Proving in Higher Order Logics: {TPHOLs} 2007}, |
|
1580 editor = {K. Schneider and J. Brandt}, |
|
1581 publisher = Springer, |
|
1582 series = LNCS, |
|
1583 volume = 4732, |
|
1584 year = 2007} |
|
1585 |
1578 @unpublished{classes_modules, |
1586 @unpublished{classes_modules, |
1579 title = {{ML} Modules and {Haskell} Type Classes: A Constructive Comparison}, |
1587 title = {{ML} Modules and {Haskell} Type Classes: A Constructive Comparison}, |
1580 author = {Stefan Wehr et. al.} |
1588 author = {Stefan Wehr et. al.} |
1581 } |
1589 } |