direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Finite Integer Computations: An Algebraic Foundation for Their Correctness
Citation key glesner06finite
Author Sabine Glesner
Year 2006
Journal Formal Aspects of Computing,
Volume 18
Number No. 2
Month Jun
Bibtex Type of Publication Journal Article
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe