direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Finite Integer Computations: An Algebraic Foundation for Their Correctness
Zitatschlüssel glesner06finite
Autor Sabine Glesner
Jahr 2006
Journal Formal Aspects of Computing,
Jahrgang 18
Nummer No. 2
Monat Jun
Typ der Publikation Journal Article
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe