|
Eine Ebene nach oben |
Gruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 4
2022
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
2021
Schwichtenberg, Helmut und Wiesnet, Franziskus
(2021):
LOGIC FOR EXACT REAL ARITHMETIC.
In: Logical Methods in Computer Science, Bd. 17, Nr. 2, 7
2016
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