Axiomatization of Compact Initial Value Problems: Open Properties

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Platzer, André, Qian, Long
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Programming Languages Logic 03B70, 03D80, 03F03, 34C14, 34A38, 34C11, 65L70, 65G20 F.4.1; F.3.1; G.1.7; I.2.3
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online

https://arxiv.org/abs/2410.13836