Titelblatt für LTCS-Reports

Dieser Style stellt die folgenden Makros zur Verfügung.

\ltcsauthor{}

Dieses Makro definiert die Autoren des Reports. Als Default wird der mit \author definierte Autor genommen; die Syntax ist also wie bei \author. Bsp.: \ltcsauthor{F. Baader\\ RWTH Aachen \and C. Tinelli\\ University of Illinois}. Normalerweise sollte man bei dem LTCS-Titel allerdings die Adresse weglassen.

\ltcstitle{}

Dieses Makro definiert den Titel des Reports. Als Default wird der mit \title definierte Titel genommen. Bsp.: \ltcstitle{A New Approach for Combining Decision Procedures for the Word Problem,\\ and Its Connection to the Nelson-Oppen Combination Method}.

\ltcsnumber{}

Mit diesem Makro kann die laufende Nummer des Reports definiert werden. Bsp.: \ltcsnumber{96-01}.

\ltcspubwhere{}

Mit diesem Makro kann auf dem Titelblatt angegeben werden, wo weitere Versionen dieses Papiers veröffentlicht wurden. Bsp: \ltcspubwhere{{\em JSC}, 16(6):587--626, 1993.}

\ltcspubtext{}

Mit diesem Makro kann ein Text definiert werden, der als Hinweis vor der Referenz aus \ltcspubwhere erscheint. Der Default ist ,,This is an extended version of the article in:''. Dieser Text wird nicht gedruckt, falls \ltcspubwhere leer ist. Bsp.: \ltcspubtext{This paper is submitted for publication.} hat nur eine Wirkung, falls auch \ltcspubwhere{~} oder Ähnliches definiert ist.

\ltcsmaketitle

Mit diesem Befehl wird das Titelblatt generiert.