Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer algorithms 3 Treffer
- homotopy theory 3 Treffer
- information theory 3 Treffer
- mathematical proofs 3 Treffer
- programming languages 3 Treffer
-
24 weitere Werte:
- proof theory 3 Treffer
- recursion theory 3 Treffer
- tree graphs 3 Treffer
- 01 natural sciences 1 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020207 software engineering 1 Treffer
- agda 1 Treffer
- axiom 1 Treffer
- computer 1 Treffer
- computer science 1 Treffer
- computer science::programming languages 1 Treffer
- computer.programming_language 1 Treffer
- homotopy type theory 1 Treffer
- mathematical proof 1 Treffer
- software 1 Treffer
- soundness 1 Treffer
- theoretical computer science 1 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
- type theory 1 Treffer
- unification 1 Treffer
Sprache
3 Treffer
-
In: Journal of Functional Programming, Jg. 28 (2018), S. N.PAG- (55S.)Online academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 26 (2016), S. 1-61Online academicJournalZugriff: