Axiomatization of Compact Initial Value Problems: Open Properties.
Saved in:
| 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 |
Be the first to leave a comment!
