Towards Analysing Sequences of Operations for Dynamic Data Structures (Preliminary Version)

Philippe Flajolet, Jean Franon, Jean Vuillemin

Browse the full FOCS paper archive.