Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
Verlag
Sprache
Geographischer Bezug
5 Treffer
-
In: Lecture Notes in Computer Science ; 24th International Workshop on Algebraic Development Techniques (WADT) ; https://hal.inria.fr/hal-02364578 ; 24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.3-24, ⟨10.1007/978-3-030-23220-7_1⟩, 2018Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 23th International Workshop on Algebraic Development Techniques (WADT) ; https://hal.inria.fr/hal-01767472 ; 23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.135-152, ⟨10.1007/978-3-319-72044-9_10⟩, 2016Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 23th International Workshop on Algebraic Development Techniques (WADT) ; https://hal.inria.fr/hal-01767472 ; 23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.135-152, ⟨10.1007/978-3-319-72044-9_10⟩, 2016Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 24th International Workshop on Algebraic Development Techniques (WADT) ; https://hal.inria.fr/hal-02364578 ; 24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.3-24, ⟨10.1007/978-3-030-23220-7_1⟩, 2018Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; 23th International Workshop on Algebraic Development Techniques (WADT) ; https://hal.inria.fr/hal-01767472 ; 23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.135-152, ⟨10.1007/978-3-319-72044-9_10⟩, 2016Online KonferenzZugriff: