Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
\documentclass[11pt]{bluenote}
\usepackage{url,graphicx,wrapfig}
\usepackage[show]{ed}
\blueProject{MaMoReD}
%\blueURI{http://imkt.org}
\usepackage[hyperref=auto,style=alphabetic,isbn=false,backend=bibtex]{biblatex}
%\usepackage{bibtweaks}
\addbibresource{../kbibs/preamble}
\addbibresource{../kbibs/kwarcpubs}
\addbibresource{../kbibs/extpubs}
\addbibresource{../kbibs/kwarccrossrefs}
\addbibresource{../kbibs/extcrossrefs}
\usepackage{hyperref}
\usepackage{xspace}
\usepackage{paralist}
\title{Active Documents about Models}
\author{Michael Kohlhase, Dennis M\"uller, Frederik Sch\"afer\\Computer Science, FAU
Erlangen-N\"urnberg\\\url{http://kwarc.info}}
\begin{document}
\maketitle
\begin{abstract}
In this note we present how a combination of GF and MMT can be used as a development
framework for natural language semantics.
\end{abstract}
\tableofcontents\newpage
\section{Introduction}\label{sec:intro}
\section{Conclusion}\label{sec:concl}
\printbibliography
\end{document}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End: