View in EDS PDF Full Text

Axiomatization of Compact Initial Value Problems: Open Properties.

Saved in:
Bibliographic Details
Title: Axiomatization of Compact Initial Value Problems: Open Properties.
Authors: Platzer, André1 (AUTHOR) platzer@kit.edu, Qian, Long2 (AUTHOR) longq@andrew.cmu.edu
Source: Journal of the ACM. Dec2025, Vol. 72 Issue 6, p1-51. 51p.
Database: Business Source Ultimate
Description
ISSN:00045411
DOI:10.1145/3763228