arXiv (All)open access
Differential Equations as Fixpoints and Games
logic in computer science, 03b70, 03b45, 91a44, 34a38, 68q60, 34a45, f.3.1; f.4.1; g.1.7
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Record · ID 1035284
Retrieved via
Conceptio — every document is proof-bundled with source, license, and retrieval metadata.