|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel | Buchbeitrag
Anzahl der Publikationen: 4
Zeitschriftenartikel
Powell, Thomas; Schuster, Peter und Wiesnet, Franziskus
(2022):
A universal algorithm for Krull's theorem.
In: Information and Computation, Bd. 287, 104761
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
Schwichtenberg, Helmut und Wiesnet, Franziskus
(2021):
LOGIC FOR EXACT REAL ARITHMETIC.
In: Logical Methods in Computer Science, Bd. 17, Nr. 2, 7
Buchbeitrag
Schwichtenberg, Helmut; Seisenberger, Monika und Wiesnet, Franziskus
(2016):
Higman's Lemma and Its Computational Content.
In:
Advances in Proof Theory. Progress in Computer Science and Applied Logic, Bd. 28. Cham: Birkhäuser. S. 353-375