40 {1}{54.27406pt}} |
40 {1}{54.27406pt}} |
41 \@input{Chapters/Chapter1.aux} |
41 \@input{Chapters/Chapter1.aux} |
42 \citation{Brzozowski1964} |
42 \citation{Brzozowski1964} |
43 \abx@aux@cite{Brzozowski1964} |
43 \abx@aux@cite{Brzozowski1964} |
44 \abx@aux@segm{0}{0}{Brzozowski1964} |
44 \abx@aux@segm{0}{0}{Brzozowski1964} |
45 \abx@aux@page{1}{2} |
45 \abx@aux@page{1}{4} |
46 \citation{Sulzmann2014} |
46 \citation{Sulzmann2014} |
47 \abx@aux@cite{Sulzmann2014} |
47 \abx@aux@cite{Sulzmann2014} |
48 \abx@aux@segm{0}{0}{Sulzmann2014} |
48 \abx@aux@segm{0}{0}{Sulzmann2014} |
49 \citation{AusafDyckhoffUrban2016} |
49 \citation{AusafDyckhoffUrban2016} |
50 \abx@aux@cite{AusafDyckhoffUrban2016} |
50 \abx@aux@cite{AusafDyckhoffUrban2016} |
|
51 \abx@aux@segm{0}{0}{AusafDyckhoffUrban2016} |
|
52 \citation{Sulzmann2014} |
|
53 \abx@aux@segm{0}{0}{Sulzmann2014} |
|
54 \citation{Sulzmann2014} |
|
55 \abx@aux@segm{0}{0}{Sulzmann2014} |
|
56 \citation{AusafDyckhoffUrban2016} |
51 \abx@aux@segm{0}{0}{AusafDyckhoffUrban2016} |
57 \abx@aux@segm{0}{0}{AusafDyckhoffUrban2016} |
52 \citation{AusafDyckhoffUrban2016} |
58 \citation{AusafDyckhoffUrban2016} |
53 \abx@aux@segm{0}{0}{AusafDyckhoffUrban2016} |
59 \abx@aux@segm{0}{0}{AusafDyckhoffUrban2016} |
54 \citation{Sulzmann2014} |
60 \citation{Sulzmann2014} |
55 \abx@aux@segm{0}{0}{Sulzmann2014} |
61 \abx@aux@segm{0}{0}{Sulzmann2014} |
56 \citation{Sulzmann2014} |
62 \citation{Sulzmann2014} |
57 \abx@aux@segm{0}{0}{Sulzmann2014} |
63 \abx@aux@segm{0}{0}{Sulzmann2014} |
|
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} |
58 \citation{Brzozowski1964} |
70 \citation{Brzozowski1964} |
59 \abx@aux@segm{0}{0}{Brzozowski1964} |
71 \abx@aux@segm{0}{0}{Brzozowski1964} |
60 \citation{Owens2008} |
72 \citation{Owens2008} |
61 \abx@aux@cite{Owens2008} |
73 \abx@aux@cite{Owens2008} |
62 \abx@aux@segm{0}{0}{Owens2008} |
74 \abx@aux@segm{0}{0}{Owens2008} |
67 \abx@aux@cite{Coquand2012} |
79 \abx@aux@cite{Coquand2012} |
68 \abx@aux@segm{0}{0}{Coquand2012} |
80 \abx@aux@segm{0}{0}{Coquand2012} |
69 \citation{RibeiroAgda2017} |
81 \citation{RibeiroAgda2017} |
70 \abx@aux@cite{RibeiroAgda2017} |
82 \abx@aux@cite{RibeiroAgda2017} |
71 \abx@aux@segm{0}{0}{RibeiroAgda2017} |
83 \abx@aux@segm{0}{0}{RibeiroAgda2017} |
72 \abx@aux@page{2}{5} |
84 \abx@aux@page{2}{15} |
73 \abx@aux@page{3}{5} |
85 \abx@aux@page{3}{15} |
74 \abx@aux@page{4}{5} |
86 \abx@aux@page{4}{15} |
75 \abx@aux@page{5}{5} |
87 \abx@aux@page{5}{16} |
76 \abx@aux@page{6}{5} |
88 \abx@aux@page{6}{16} |
77 \citation{Reference1} |
89 \citation{Reference1} |
78 \abx@aux@cite{Reference1} |
90 \abx@aux@cite{Reference1} |
79 \abx@aux@segm{0}{0}{Reference1} |
91 \abx@aux@segm{0}{0}{Reference1} |
80 \citation{Reference2} |
92 \citation{Reference2} |
81 \abx@aux@cite{Reference2} |
93 \abx@aux@cite{Reference2} |
92 \abx@aux@defaultrefcontext{0}{Brzozowski1964}{nyt/global//global/global} |
104 \abx@aux@defaultrefcontext{0}{Brzozowski1964}{nyt/global//global/global} |
93 \abx@aux@defaultrefcontext{0}{Coquand2012}{nyt/global//global/global} |
105 \abx@aux@defaultrefcontext{0}{Coquand2012}{nyt/global//global/global} |
94 \abx@aux@defaultrefcontext{0}{Krauss2011}{nyt/global//global/global} |
106 \abx@aux@defaultrefcontext{0}{Krauss2011}{nyt/global//global/global} |
95 \abx@aux@defaultrefcontext{0}{Owens2008}{nyt/global//global/global} |
107 \abx@aux@defaultrefcontext{0}{Owens2008}{nyt/global//global/global} |
96 \abx@aux@defaultrefcontext{0}{RibeiroAgda2017}{nyt/global//global/global} |
108 \abx@aux@defaultrefcontext{0}{RibeiroAgda2017}{nyt/global//global/global} |
97 \@writefile{toc}{\contentsline {chapter}{Bibliography}{19}{appendix*.55}} |
109 \@writefile{toc}{\contentsline {chapter}{Bibliography}{29}{appendix*.64}} |
98 \abx@aux@page{7}{19} |
110 \abx@aux@page{7}{29} |
99 \abx@aux@page{8}{19} |
111 \abx@aux@page{8}{29} |
100 \abx@aux@page{9}{19} |
112 \abx@aux@page{9}{29} |
101 \abx@aux@page{10}{19} |
113 \abx@aux@page{10}{29} |
102 \abx@aux@page{11}{19} |
114 \abx@aux@page{11}{29} |