Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Publikationen / Efficient Type-Checking for Amortised Heap-Space Analysis


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

Servicebereich
News and Events

For news and events please switch to the German page.