dekker-phd-thesis/chapters/ at develop · dekker.one/dekker-phd-thesis · tangled

dekker.one / dekker-phd-thesis

Jip Dekker's PhD Thesis

dekker-phd-thesis / chapters /

at develop 13 files

Final changes

4 years ago

1_introduction.tex

Fix typos from examiner feedback

4 years ago

2_background.tex

Fix some final formatting issues

4 years ago

2_background_preamble.tex

Feedback from Julie

4 years ago

3_rewriting.tex

Fix last errors spotted by Guido

4 years ago

3_rewriting_preamble.tex

Morning editing

4 years ago

4_half_reif.tex

Fix last errors spotted by Guido

4 years ago

4_half_reif_preamble.tex

Fix typos from examiner feedback

4 years ago

5_incremental.tex

Another final few changes

4 years ago

5_incremental_preamble.tex

Fix typos from examiner feedback

4 years ago

6_conclusions.tex

Attempt at remaining feedback

4 years ago

A1_minizinc_grammar.tex

Work on the glossary and references to them

4 years ago

A2_benchmark.tex

Small changes to glossary

4 years ago