Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2
1. Verfasser:	Affeldt, Reynald (VerfasserIn)
Weitere Verfasser:	Cohen, Cyril (VerfasserIn), Kerjean, Marie (VerfasserIn), Mahboubi, Assia (VerfasserIn), Rouhling, Damien (VerfasserIn), Sakaguchi, Kazuhiko (VerfasserIn)
Pages:	2
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!