Showing results 4 to 7 of 7
On the computational complexity of the Dirichlet Problem for Poisson's Equation Kawamura, Akitoshi; Steinberg, Florian; Ziegler, Martin A., MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, v.27, no.8, pp.1437 - 1465, 2017-12 |
Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014 Bauer, Andrej; Berger, Ulrich; Fouche, Willem; Spreen, Dieter; Tsuiki, Hideki; Ziegler, Martin A., JOURNAL OF LOGIC AND ANALYSIS, v.9, 2017-04 |
Relative computability and uniform continuity of relations Pauly, Arno; Ziegler, Martin A., Journal of Logic and Analysis, v.5, no.7, pp.1 - 39, 2013 |
SEMANTICS, SPECIFICATION LOGIC, AND HOARE LOGIC OF EXACT REAL COMPUTATION Park, Sewon; Brausse, Franz; Collins, Pieter; Kim, Sunyoung; Konecny, Michal; Lee, Gyesik; Mueller, Norbert; et al, LOGICAL METHODS IN COMPUTER SCIENCE, v.20, no.2, 2024-06 |
Discover