Abstract: This article traces in broad strokes the evolution of the intimate relationship between mathematical logic and computer science. The emphasis is on ...
Abstract. This article traces in broad strokes the evolution of the intimate relationship between mathematical logic and computer science. The emphasis is on ...
Bibliographic content of Fundamenta Informaticae, Volume 170.
Impact Factor 2024: 0.4. Fundamenta Informaticae is an international journal publishing original research results in all areas of theoretical computer ...
We present a generalization of a polynomial factorization algorithm that works with ideals in maximal orders of global function fields.
€410.00
Impact Factor 2024: 0.4. Fundamenta Informaticae is an international journal publishing original research results in all areas of theoretical computer ...
€410.00
Impact Factor 2024: 0.4. Fundamenta Informaticae is an international journal publishing original research results in all areas of theoretical computer ...
In: Fundamenta Informaticae. 2019 ; Vol. 170, No. 1-3. pp. 139-176. ... Strong normalization for truth table natural deduction. / van der Giessen, Iris; Geuvers, ...
Jan 1, 2019 · Fundamenta Informaticae, Volume 170, Issue 4. Pages 339 - 365. https ... Fundamenta Informaticae Volume 170, Issue 4. 2019. 86 pages. ISSN ...