Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
Publikation
Sprache
3 Treffer
-
In: CPP 2021 - Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL, 2021Online KonferenzZugriff:
-
In: Logical Methods in Computer Science, Jg. 17 (2021-08-21), Heft 3Online serialPeriodicalZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 3 (2019), Heft POPLOnline serialPeriodicalZugriff: