equal
deleted
inserted
replaced
230 title = {Finding Lexicographic Orders for Termination Proofs in {Isabelle/HOL}}, |
230 title = {Finding Lexicographic Orders for Termination Proofs in {Isabelle/HOL}}, |
231 crossref = {tphols2007}, |
231 crossref = {tphols2007}, |
232 pages = {38--53} |
232 pages = {38--53} |
233 } |
233 } |
234 |
234 |
|
235 @InProceedings{bulwahn-et-al:2008:imperative, |
|
236 author = {Lukas Bulwahn and Alexander Krauss and Florian Haftmann and Levent Erkök and John Matthews}, |
|
237 title = {Imperative Functional Programming with {Isabelle/HOL}}, |
|
238 crossref = {tphols2008}, |
|
239 } |
|
240 % pages = {38--53} |
|
241 |
235 @Article{ban89, |
242 @Article{ban89, |
236 author = {M. Burrows and M. Abadi and R. M. Needham}, |
243 author = {M. Burrows and M. Abadi and R. M. Needham}, |
237 title = {A Logic of Authentication}, |
244 title = {A Logic of Authentication}, |
238 journal = PROYAL, |
245 journal = PROYAL, |
239 year = 1989, |
246 year = 1989, |
1593 publisher = Springer, |
1600 publisher = Springer, |
1594 series = LNCS, |
1601 series = LNCS, |
1595 volume = 4732, |
1602 volume = 4732, |
1596 year = 2007} |
1603 year = 2007} |
1597 |
1604 |
|
1605 @Proceedings{tphols2008, |
|
1606 title = {Theorem Proving in Higher Order Logics: {TPHOLs} 2008}, |
|
1607 booktitle = {Theorem Proving in Higher Order Logics: {TPHOLs} 2008}, |
|
1608 publisher = Springer, |
|
1609 series = LNCS, |
|
1610 year = 2008} |
|
1611 % editor = |
|
1612 % volume = 4732, |
|
1613 |
1598 @unpublished{classes_modules, |
1614 @unpublished{classes_modules, |
1599 title = {{ML} Modules and {Haskell} Type Classes: A Constructive Comparison}, |
1615 title = {{ML} Modules and {Haskell} Type Classes: A Constructive Comparison}, |
1600 author = {Stefan Wehr et. al.} |
1616 author = {Stefan Wehr et. al.} |
1601 } |
1617 } |