equal
deleted
inserted
replaced
443 note = {Accepted for publication in {\it Proc.~of the 3rd International Conference on |
443 note = {Accepted for publication in {\it Proc.~of the 3rd International Conference on |
444 Certified Programs and Proofs}}, |
444 Certified Programs and Proofs}}, |
445 year = {2013} |
445 year = {2013} |
446 } |
446 } |
447 |
447 |
|
448 @Unpublished{Sternagel13, |
|
449 author = {C.~Sternagel}, |
|
450 title = {{C}ertified {K}ruskal’s {T}ree {T}heorem}, |
|
451 note = {Accepted for publication in {\it Proc.~of the 3rd International Conference on |
|
452 Certified Programs and Proofs}}, |
|
453 year = {2013} |
|
454 } |