Browse "CS-Journal Papers(저널논문)" by Author Ziegler, Martin A.
Showing results 6 to 7 of 7
| 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
Open Access
- 187 OA Article