Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Publikationen / What Do Program Logics and Type Systems Have in Common?


Inhaltsbereich

Exportieren von Literatureinträgen

Wählen Sie das gewünschte Format aus der Liste. Bestätigen Sie Ihre Wahl durch drücken der 'Exportieren'-Schaltfläche.

Exportieren

Bitte wählen Sie das gewünschte Dateiformat für den Bibliograhieexport.


Export to native BibTeX format (with LaTeX escaping)
MS-DOS bzw. MS Windows und UniX Betriebssysteme verwenden in Textdateien einen unterschiedlichen Code für Zeilenumbrüche. Wählen Sie, entsprechend Ihres Betriebsystems, Ihren bevorzugten Stil für das Zeilenende aus.


Funktionsleiste