Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
Sprache
Geographischer Bezug
5 Treffer
-
In: 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) ;, 2019Online KonferenzZugriff:
-
In: 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) ;, 2019Online KonferenzZugriff:
-
In: 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) ;, 2019Online KonferenzZugriff:
-
In: 19th International Conference on Types for Proofs and Programs (TYPES 2013) ; https://inria.hal.science/hal-01097919 ; 19th International Conference on Types for Proofs and Programs (TYPES 2013), Jul 2014, Toulouse, France. pp.169--187, ⟨10.4230/LIPIcs.TYPES.2013.169⟩, 2014Online KonferenzZugriff:
-
In: 19th International Conference on Types for Proofs and Programs (TYPES 2013) ; https://hal.inria.fr/hal-01097919 ; 19th International Conference on Types for Proofs and Programs (TYPES 2013), Jul 2014, Toulouse, France. pp.169--187, ⟨10.4230/LIPIcs.TYPES.2013.169⟩, 2014Online KonferenzZugriff: