src/HOL/Data_Structures/document/root.bib
changeset 61697 0753dd4c9144
parent 61525 87244a9cfe40
child 61784 21b34a2269e5
equal deleted inserted replaced
61696:ce6320b9ef9b 61697:0753dd4c9144
    11 title="A Systematic Analysis of Splaying",journal={Information Processing Letters},volume=45,pages={41-50},year=1993}
    11 title="A Systematic Analysis of Splaying",journal={Information Processing Letters},volume=45,pages={41-50},year=1993}
    12 
    12 
    13 @article{SleatorT-JACM85,author={Daniel D. Sleator and Robert E. Tarjan},
    13 @article{SleatorT-JACM85,author={Daniel D. Sleator and Robert E. Tarjan},
    14 title={Self-adjusting Binary Search Trees},journal={J. ACM},
    14 title={Self-adjusting Binary Search Trees},journal={J. ACM},
    15 volume=32,number=3,pages={652-686},year=1985}
    15 volume=32,number=3,pages={652-686},year=1985}
       
    16 
       
    17 @misc{Turbak230,author={Franklyn Turbak},
       
    18 title={{CS230 Handouts --- Spring 2007}},year=2007,
       
    19 note={\url{http://cs.wellesley.edu/~cs230/spring07/handouts.html}}}