|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel
Anzahl der Publikationen: 2
Zeitschriftenartikel
Koepp, Nils und Schwichtenberg, Helmut
(2022):
Lookahead analysis in exact real arithmetic with logical methods.
In: Theoretical Computer Science, Bd. 943: S. 171-186
Wiesnet, Franziskus und Koepp, Nils
(2022):
LIMITS OF REAL NUMBERS IN THE BINARY SIGNED DIGIT REPRESENTATION.
In: Logical Methods in Computer Science, Bd. 18, Nr. 3