SEMANTICS, SPECIFICATION LOGIC, AND HOARE LOGIC OF EXACT REAL COMPUTATION.
Saved in:
| Title: | SEMANTICS, SPECIFICATION LOGIC, AND HOARE LOGIC OF EXACT REAL COMPUTATION. |
|---|---|
| Authors: | PARK, SEWON1, swelite@kaist.ac.kr, BRAUSSE, FRANZ2, ziegler@kaist.ac.kr, COLLINS, PIETER3, franz.brausse@manchester.ac.uk, KIM, SUNYOUNG4, pieter.collins@maastrichtuniversity.nl, KONEČNÝ, MICHAL5, sy831@yonsei.ac.kr, LEE, GYESIK6, m.konecny@aston.ac.uk, MÜLLER, NORBERT7, gslee@hknu.ac.kr, NEUMANN, EIKE8, mueller@uni-trier.de, PREINING, NORBERT9, neumaef1@gmail.com, ZIEGLER, MARTIN1, norbert@preining.info |
| Source: | Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 2, p1-55, 55p |
| Database: | Applied Science & Technology Source |
| ISSN: | 18605974 |
|---|---|
| DOI: | 10.46298/LMCS-20(2:17)2024 |
