Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 01 natural sciences 1 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- 020208 electrical & electronic engineering 1 Treffer
- agda 1 Treffer
-
14 weitere Werte:
- basis (universal algebra) 1 Treffer
- boolean circuit 1 Treffer
- calculus 1 Treffer
- coinduction 1 Treffer
- compiler 1 Treffer
- correctness 1 Treffer
- esterel 1 Treffer
- implementation 1 Treffer
- language construct 1 Treffer
- matching (statistics) 1 Treffer
- operational semantics 1 Treffer
- pattern matching 1 Treffer
- programming language 1 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 1 Treffer
Sprache
2 Treffer
-
In: Proceedings of the ACM on Programming Languages, Jg. 3 (2019-01-02), S. 1-29Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 2 (2018-07-30), S. 1-30Online unknownZugriff: