FacMik.tex

% This is LLNCS.DEM the demonstration file of
% the LaTeX macro package from Springer-Verlag
% for Lecture Notes in Computer Science,
% version 1.1 for LaTeX1e
%

\documentclass{llncs}

\usepackage[utf8]{inputenc}
\usepackage{times}
%\usepackage{amsthm}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage[all]{xy}
\usepackage[english]{babel}
\usepackage{graphicx}
\usepackage{color}
\usepackage{subfigure}
\usepackage{here}
\usepackage{makeidx} 


%\usepackage[applemac]{inputenc}


%------------------------------- New theorems

% \newtheorem{proposition}[theorem]{Proposition}

%------------------------------- macros, if any

\newcommand {\nat}{\mathbb{N}}
\newcommand {\scc}{\mathsf{scc}}
\newcommand {\ord}{\mathsf{ORD}}
\newcommand {\un}{\mathsf{un}}
\newcommand {\head}{\mathsf{head}}
\newcommand {\tail}{\mathsf{tail}}
\newcommand {\ad}{\mathsf{ad}}
\newcommand {\sub}{\mathsf{sub}}
\newcommand {\dom}{\mathsf{dom}}
\newcommand {\rank}{\mathsf{rank}}
\newcommand {\red}{\mathsf{red}}
\newcommand {\LGA}{\mathsf{LGA}}
\newcommand {\WAA}{\mathsf{WAA}}
\newcommand {\SAA}{\mathsf{SAA}}
\newcommand {\mybox}{\textrm{{\scriptsize $\,\Box\,$}}}
\newcommand{\ignore}[1]{}
\newcommand{\dotcup}{\ensuremath{\mathaccent\cdot\cup}}
\newcommand {\A}{{\mathcal A}}
\newcommand {\limit}{\mathsf{limit}}

\begin{document}

% for the preliminaries
\frontmatter          

% switches on printing of running heads
\pagestyle{headings}  

% additional mark in the TOC
\addtocmark{} 

% start of the contributions
\mainmatter            

\title{Deciding the Borel complexity of regular tree languages}

% abbreviated title (for running head)
\titlerunning{Deciding the Borel complexity  of regular tree languages}  

\author{Alessandro Facchini\thanks{The author is supported by the \emph{Expressiveness of Modal Fixpoint Logics} project realized within the 5/2012 Homing Plus programme of the Foundation for Polish Science, co-financed by the European Union from the Regional Development Fund within the Operational Programme Innovative Economy (``Grants for Innovation'')} \and Henryk Michalewski}
\institute{University of Warsaw \\ 
\email{\{A.Facchini,H.Michalewski\}@mimuw.edu.pl}}

% abbreviated author list (for running head)
\authorrunning{A. Facchini \and H. Michalewski}   

% typeset the title of the contribution
\maketitle              

%%%%%%%%%%%%%%%%%%%%%%%%%%
\input{FacMikAbstract.tex}

%%%%%%%%%%%%%%%%%%%%%%%%%%
\input{FacMikIntroduction.tex}

%%%%%%%%%%%%%%%%%%%%%%%%%%
\input{FacMikPreliminaries.tex}

%%%%%%%%%%%%%%%%%%%%%%%%%%
\input{FacMikComplexityGames.tex}

%%%%%%%%%%%%%%%%%%%%%%%%%%
\input{FacMikCharacterization.tex}

%%%%%%%%%%%%%%%%%%%%%%%%%%
\input{FacMikConclusion.tex}


%%%%%%%%%%%%%%%%%%%%%%%%%%
\input{FacMikBibliography.tex}

%%%%%%%%%%%%%%%%%%%%%%%%%%
\input{FacMikAppendix.tex}

\end{document}