\relax 
\citation{[D.J.],[K.TRS]}
\citation{[C.Chap.]}
\citation{[C.Chap.]}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Introduction}{1}}
\newlabel{1}{{1}{1}}
\citation{[Bar]}
\citation{[AMP],[C.G.],[Rosen]}
\citation{[ptrs]}
\citation{[D.J.]}
\citation{[K.TRS]}
\citation{[mnsop],[ptrs]}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}A criterion for syntactic equivalence}{2}}
\newlabel{4}{{2}{2}}
\newlabel{D.desc.}{{2.1}{2}}
\newlabel{D.ess.}{{2.2}{2}}
\citation{[H.L.],[mnsop],[13]}
\newlabel{C.3.1.}{{2.1}{3}}
\newlabel{T.2.10.}{{2.1}{3}}
\newlabel{D.pers.}{{2.3}{3}}
\newlabel{D.1.9.}{{2.4}{3}}
\newlabel{D.3.5.}{{2.5}{3}}
\newlabel{L.3.8.}{{2.2}{3}}
\newlabel{T.2.1.}{{2.1}{3}}
\newlabel{T.2.3.}{{2.3}{3}}
\citation{[K.TRS]}
\citation{[K.TRS]}
\citation{[K.TRS]}
\newlabel{D.2.3.}{{2.6}{4}}
\newlabel{T.weak.norm.}{{2.4}{4}}
\newlabel{D.2.4.}{{2.7}{4}}
\newlabel{L.2.9.}{{2.5}{4}}
\newlabel{T.semi-fin.red.}{{2.6}{4}}
\newlabel{D.4.7.}{{2.8}{4}}
\newlabel{T.4.6.}{{2.2}{4}}
\newlabel{D.3.6.}{{2.9}{4}}
\newlabel{L.4.7.}{{2.7}{4}}
\newlabel{L.fair.irred.}{{2.8}{4}}
\newlabel{D.irr.}{{2.10}{4}}
\citation{[B.L.],[Mont],[Vuill]}
\citation{[Vuill]}
\citation{[Mont]}
\citation{[B.L.]}
\citation{[ptrs]}
\citation{[mnsop]}
\newlabel{T.4.8.}{{2.9}{5}}
\newlabel{T.2.12.}{{2.3}{5}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}Decidability of syntactic equivalence}{5}}
\newlabel{5}{{3}{5}}
\newlabel{P.3.3.}{{3.1}{5}}
\newlabel{A.3.3.}{{3.1}{5}}
\newlabel{P.3.4.}{{3.2}{5}}
\newlabel{A.3.4.}{{3.2}{5}}
\newlabel{D.r-figure.}{{3.1}{5}}
\newlabel{2}{{1}{6}}
\newlabel{L.ess.succ.}{{3.1}{6}}
\newlabel{P.3.6.}{{3.3}{6}}
\newlabel{A.3.6.}{{3.3}{6}}
\citation{[C.Chap.]}
\citation{[C.Chap.],[Nivat]}
\citation{[C.Chap.]}
\citation{[KN]}
\newlabel{T.opt.norm.ptrs.}{{3.4}{7}}
\newlabel{A.3.10.}{{3.4}{7}}
\newlabel{T.3.4.}{{3.1}{7}}
\newlabel{A.3.12.}{{3.5}{7}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}Equivalence of RPSs with monadic basic functions}{7}}
\newlabel{S. RPSs.}{{4}{7}}
\newlabel{D.RPSs.}{{4.1}{7}}
\newlabel{L.pol.}{{4.1}{7}}
\newlabel{eq:nat}{{2}{7}}
\newlabel{eq:int}{{3}{7}}
\newlabel{L.sem.eq.}{{4.2}{8}}
\newlabel{L.str.irr.RPS.}{{4.3}{8}}
\newlabel{T.RPS.eq.}{{4.1}{8}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5}Other decidable properties of PTRSs}{8}}
\newlabel{S.reduc.prob.}{{5}{8}}
\newlabel{L.sn.in.}{{5.1}{8}}
\newlabel{C.ind.sn.}{{5.1}{8}}
\newlabel{D.fin.red.}{{5.1}{8}}
\newlabel{T.str.norm.}{{5.2}{8}}
\newlabel{D.hierar.}{{5.2}{9}}
\newlabel{T.fin.red.}{{5.3}{9}}
\newlabel{T.str.nor.glob.}{{5.4}{9}}
\newlabel{T.weak.norm.glob.}{{5.5}{9}}
\newlabel{T.3.9.}{{5.1}{9}}
\bibcite{[AMP]}{1}
\bibcite{[Bar]}{2}
\bibcite{[B.L.]}{3}
\bibcite{[C.Chap.]}{4}
\bibcite{[C.G.]}{5}
\bibcite{[D.J.]}{6}
\bibcite{[H.L.]}{7}
\bibcite{[mnsop]}{8}
\bibcite{[ptrs]}{9}
\bibcite{[K.TRS]}{10}
\bibcite{[KN]}{11}
\bibcite{[13]}{12}
\bibcite{[Mont]}{13}
\bibcite{[Nivat]}{14}
\bibcite{[Rosen]}{15}
\bibcite{[Vuill]}{16}