1: Multiple-Size Divide-and-Conquer Recurrences 2: On the problem of computing the well-founded semantics 3: A Dynamic Programming Approach to De Novo Peptide Sequencing via Tandem Mass Spectrometry