src/HOL/Data_Structures/document/root.bib
author nipkow
Wed, 18 Nov 2015 10:12:37 +0100
changeset 61697 0753dd4c9144
parent 61525 87244a9cfe40
child 61784 21b34a2269e5
permissions -rw-r--r--
converted to cmp
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
61224
759b5299a9f2 added red black trees
nipkow
parents: 61203
diff changeset
     1
@article{Kahrs-JFP01,author={Stefan Kahrs},title={Red-Black Trees with Types},
759b5299a9f2 added red black trees
nipkow
parents: 61203
diff changeset
     2
journal={J. Functional Programming},volume=11,number=4,pages={425-432},year=2001}
61203
a8a8eca85801 New subdirectory for functional data structures
nipkow
parents:
diff changeset
     3
61224
759b5299a9f2 added red black trees
nipkow
parents: 61203
diff changeset
     4
@misc{Kahrs-html,author={Stefan Kahrs},title={Red Black Trees},
759b5299a9f2 added red black trees
nipkow
parents: 61203
diff changeset
     5
note={\url{http://www.cs.ukc.ac.uk/people/staff/smk/redblack/rb.html}}}
61203
a8a8eca85801 New subdirectory for functional data structures
nipkow
parents:
diff changeset
     6
61224
759b5299a9f2 added red black trees
nipkow
parents: 61203
diff changeset
     7
@book{Okasaki,author={Chris Okasaki},title="Purely Functional Data Structures",
759b5299a9f2 added red black trees
nipkow
parents: 61203
diff changeset
     8
publisher="Cambridge University Press",year=1998}
61525
87244a9cfe40 added splay trees
nipkow
parents: 61225
diff changeset
     9
87244a9cfe40 added splay trees
nipkow
parents: 61225
diff changeset
    10
@article{Schoenmakers-IPL93,author="Berry Schoenmakers",
87244a9cfe40 added splay trees
nipkow
parents: 61225
diff changeset
    11
title="A Systematic Analysis of Splaying",journal={Information Processing Letters},volume=45,pages={41-50},year=1993}
87244a9cfe40 added splay trees
nipkow
parents: 61225
diff changeset
    12
87244a9cfe40 added splay trees
nipkow
parents: 61225
diff changeset
    13
@article{SleatorT-JACM85,author={Daniel D. Sleator and Robert E. Tarjan},
87244a9cfe40 added splay trees
nipkow
parents: 61225
diff changeset
    14
title={Self-adjusting Binary Search Trees},journal={J. ACM},
87244a9cfe40 added splay trees
nipkow
parents: 61225
diff changeset
    15
volume=32,number=3,pages={652-686},year=1985}
61697
0753dd4c9144 converted to cmp
nipkow
parents: 61525
diff changeset
    16
0753dd4c9144 converted to cmp
nipkow
parents: 61525
diff changeset
    17
@misc{Turbak230,author={Franklyn Turbak},
0753dd4c9144 converted to cmp
nipkow
parents: 61525
diff changeset
    18
title={{CS230 Handouts --- Spring 2007}},year=2007,
0753dd4c9144 converted to cmp
nipkow
parents: 61525
diff changeset
    19
note={\url{http://cs.wellesley.edu/~cs230/spring07/handouts.html}}}