|
456
|
1 |
\relax
|
|
|
2 |
\providecommand\hyper@newdestlabel[2]{}
|
|
|
3 |
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
|
|
|
4 |
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
|
|
|
5 |
\global\let\oldcontentsline\contentsline
|
|
|
6 |
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
|
|
|
7 |
\global\let\oldnewlabel\newlabel
|
|
|
8 |
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
|
|
|
9 |
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
|
|
|
10 |
\AtEndDocument{\ifx\hyper@anchor\@undefined
|
|
|
11 |
\let\contentsline\oldcontentsline
|
|
|
12 |
\let\newlabel\oldnewlabel
|
|
|
13 |
\fi}
|
|
|
14 |
\fi}
|
|
|
15 |
\global\let\hyper@last\relax
|
|
|
16 |
\gdef\HyperFirstAtBeginDocument#1{#1}
|
|
|
17 |
\providecommand\HyField@AuxAddToFields[1]{}
|
|
|
18 |
\providecommand\HyField@AuxAddToCoFields[2]{}
|
|
|
19 |
\bibstyle{biblatex}
|
|
|
20 |
\bibdata{main-blx,example}
|
|
|
21 |
\citation{biblatex-control}
|
|
|
22 |
\abx@aux@refcontext{nyt/global//global/global}
|
|
|
23 |
\@writefile{toc}{\boolfalse {citerequest}\boolfalse {citetracker}\boolfalse {pagetracker}\boolfalse {backtracker}\relax }
|
|
|
24 |
\@writefile{lof}{\boolfalse {citerequest}\boolfalse {citetracker}\boolfalse {pagetracker}\boolfalse {backtracker}\relax }
|
|
|
25 |
\@writefile{lot}{\boolfalse {citerequest}\boolfalse {citetracker}\boolfalse {pagetracker}\boolfalse {backtracker}\relax }
|
|
|
26 |
\babel@aux{english}{}
|
|
|
27 |
\@writefile{toc}{\contentsline {chapter}{Declaration of Authorship}{iii}{section*.1}}
|
|
|
28 |
\@writefile{toc}{\contentsline {chapter}{Abstract}{vii}{section*.2}}
|
|
|
29 |
\@writefile{toc}{\contentsline {chapter}{Acknowledgements}{ix}{section*.3}}
|
|
|
30 |
\gdef \LT@i {\LT@entry
|
|
|
31 |
{1}{66.74977pt}\LT@entry
|
|
|
32 |
{1}{127.90416pt}}
|
|
|
33 |
\gdef \LT@ii {\LT@entry
|
|
|
34 |
{1}{82.51714pt}\LT@entry
|
|
|
35 |
{1}{30.45663pt}\LT@entry
|
|
|
36 |
{1}{154.48697pt}}
|
|
|
37 |
\gdef \LT@iii {\LT@entry
|
|
|
38 |
{1}{20.63945pt}\LT@entry
|
|
|
39 |
{1}{100.58446pt}\LT@entry
|
|
|
40 |
{1}{54.27406pt}}
|
|
|
41 |
\@input{Chapters/Chapter1.aux}
|
|
|
42 |
\citation{Brzozowski1964}
|
|
|
43 |
\abx@aux@cite{Brzozowski1964}
|
|
|
44 |
\abx@aux@segm{0}{0}{Brzozowski1964}
|
|
465
|
45 |
\abx@aux@page{1}{4}
|
|
456
|
46 |
\citation{Sulzmann2014}
|
|
|
47 |
\abx@aux@cite{Sulzmann2014}
|
|
|
48 |
\abx@aux@segm{0}{0}{Sulzmann2014}
|
|
|
49 |
\citation{AusafDyckhoffUrban2016}
|
|
|
50 |
\abx@aux@cite{AusafDyckhoffUrban2016}
|
|
|
51 |
\abx@aux@segm{0}{0}{AusafDyckhoffUrban2016}
|
|
465
|
52 |
\citation{Sulzmann2014}
|
|
|
53 |
\abx@aux@segm{0}{0}{Sulzmann2014}
|
|
|
54 |
\citation{Sulzmann2014}
|
|
|
55 |
\abx@aux@segm{0}{0}{Sulzmann2014}
|
|
|
56 |
\citation{AusafDyckhoffUrban2016}
|
|
|
57 |
\abx@aux@segm{0}{0}{AusafDyckhoffUrban2016}
|
|
456
|
58 |
\citation{AusafDyckhoffUrban2016}
|
|
|
59 |
\abx@aux@segm{0}{0}{AusafDyckhoffUrban2016}
|
|
|
60 |
\citation{Sulzmann2014}
|
|
|
61 |
\abx@aux@segm{0}{0}{Sulzmann2014}
|
|
|
62 |
\citation{Sulzmann2014}
|
|
|
63 |
\abx@aux@segm{0}{0}{Sulzmann2014}
|
|
465
|
64 |
\citation{Rathnayake2014StaticAF}
|
|
|
65 |
\abx@aux@cite{Rathnayake2014StaticAF}
|
|
|
66 |
\abx@aux@segm{0}{0}{Rathnayake2014StaticAF}
|
|
|
67 |
\citation{Weideman2017Static}
|
|
|
68 |
\abx@aux@cite{Weideman2017Static}
|
|
|
69 |
\abx@aux@segm{0}{0}{Weideman2017Static}
|
|
456
|
70 |
\citation{Brzozowski1964}
|
|
|
71 |
\abx@aux@segm{0}{0}{Brzozowski1964}
|
|
|
72 |
\citation{Owens2008}
|
|
|
73 |
\abx@aux@cite{Owens2008}
|
|
|
74 |
\abx@aux@segm{0}{0}{Owens2008}
|
|
|
75 |
\citation{Krauss2011}
|
|
|
76 |
\abx@aux@cite{Krauss2011}
|
|
|
77 |
\abx@aux@segm{0}{0}{Krauss2011}
|
|
|
78 |
\citation{Coquand2012}
|
|
|
79 |
\abx@aux@cite{Coquand2012}
|
|
|
80 |
\abx@aux@segm{0}{0}{Coquand2012}
|
|
|
81 |
\citation{RibeiroAgda2017}
|
|
|
82 |
\abx@aux@cite{RibeiroAgda2017}
|
|
|
83 |
\abx@aux@segm{0}{0}{RibeiroAgda2017}
|
|
465
|
84 |
\abx@aux@page{2}{15}
|
|
|
85 |
\abx@aux@page{3}{15}
|
|
|
86 |
\abx@aux@page{4}{15}
|
|
|
87 |
\abx@aux@page{5}{16}
|
|
|
88 |
\abx@aux@page{6}{16}
|
|
456
|
89 |
\citation{Reference1}
|
|
|
90 |
\abx@aux@cite{Reference1}
|
|
|
91 |
\abx@aux@segm{0}{0}{Reference1}
|
|
|
92 |
\citation{Reference2}
|
|
|
93 |
\abx@aux@cite{Reference2}
|
|
|
94 |
\abx@aux@segm{0}{0}{Reference2}
|
|
|
95 |
\citation{Reference1}
|
|
|
96 |
\abx@aux@segm{0}{0}{Reference1}
|
|
|
97 |
\citation{Reference3}
|
|
|
98 |
\abx@aux@cite{Reference3}
|
|
|
99 |
\abx@aux@segm{0}{0}{Reference3}
|
|
|
100 |
\@input{Chapters/Chapter2.aux}
|
|
|
101 |
\@input{Chapters/Chapter3.aux}
|
|
|
102 |
\@input{Appendices/AppendixA.aux}
|
|
|
103 |
\abx@aux@refcontextdefaultsdone
|
|
|
104 |
\abx@aux@defaultrefcontext{0}{Brzozowski1964}{nyt/global//global/global}
|
|
|
105 |
\abx@aux@defaultrefcontext{0}{Coquand2012}{nyt/global//global/global}
|
|
|
106 |
\abx@aux@defaultrefcontext{0}{Krauss2011}{nyt/global//global/global}
|
|
|
107 |
\abx@aux@defaultrefcontext{0}{Owens2008}{nyt/global//global/global}
|
|
|
108 |
\abx@aux@defaultrefcontext{0}{RibeiroAgda2017}{nyt/global//global/global}
|
|
465
|
109 |
\@writefile{toc}{\contentsline {chapter}{Bibliography}{29}{appendix*.64}}
|
|
|
110 |
\abx@aux@page{7}{29}
|
|
|
111 |
\abx@aux@page{8}{29}
|
|
|
112 |
\abx@aux@page{9}{29}
|
|
|
113 |
\abx@aux@page{10}{29}
|
|
|
114 |
\abx@aux@page{11}{29}
|