Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 2 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 2 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 2 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 2 Treffer
- 6 weitere Werte:
Sprache
Geographischer Bezug
4 Treffer
-
In: CoqPL 2020 The Sixth International Workshop on Coq for Programming Languages ; https://hal.science/hal-02944217 ; CoqPL 2020 The Sixth International Workshop on Coq for Programming Languages, Jan 2020, New Orleans, United States. ⟨10.1017/S0960129597002302⟩, 2020Online KonferenzZugriff:
-
In: CoqPL 2020 The Sixth International Workshop on Coq for Programming Languages ; https://hal.archives-ouvertes.fr/hal-02944217 ; CoqPL 2020 The Sixth International Workshop on Coq for Programming Languages, Jan 2020, New Orleans, United States. ⟨10.1017/S0960129597002302⟩, 2020Online KonferenzZugriff:
-
In: Conference on Intelligent Computer Mathematics ; https://hal.science/hal-01152588 ; Conference on Intelligent Computer Mathematics, 2015, Washington, D.C., United States, 2015Online KonferenzZugriff:
-
In: Conference on Intelligent Computer Mathematics ; https://hal.archives-ouvertes.fr/hal-01152588 ; Conference on Intelligent Computer Mathematics, 2015, Washington, D.C., United States, 2015Online KonferenzZugriff: