diff --git a/nlsem-framework/note.tex b/nlsem-framework/note.tex new file mode 100644 index 0000000000000000000000000000000000000000..ac1129998314ff060f31c3cb4cebd790079beb90 --- /dev/null +++ b/nlsem-framework/note.tex @@ -0,0 +1,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: