Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer 4 Treffer
- computer algorithms 3 Treffer
- data structures 3 Treffer
- electronic data processing 3 Treffer
- functional programming languages 3 Treffer
-
45 weitere Werte:
- parameter estimation 3 Treffer
- proof theory 3 Treffer
- theoretical computer science 3 Treffer
- computer science::programming languages 2 Treffer
- computer software development 2 Treffer
- computer.programming_language 2 Treffer
- computer.software_genre 2 Treffer
- mathematical analysis 2 Treffer
- mathematical functions 2 Treffer
- mathematics theorems 2 Treffer
- programming language 2 Treffer
- proof assistant 2 Treffer
- recursive functions 2 Treffer
- semantics (computer science) 2 Treffer
- software 2 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
- type theory 2 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
- abstract syntax 1 Treffer
- agda 1 Treffer
- algorithm 1 Treffer
- a-normal form 1 Treffer
- axiom 1 Treffer
- bounded function 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- compiler 1 Treffer
- de bruijn sequence 1 Treffer
- esterel 1 Treffer
- formal methods 1 Treffer
- generic programming 1 Treffer
- higher-order abstract syntax 1 Treffer
- homotopy type theory 1 Treffer
- lustre (programming language) 1 Treffer
- mathematical proof 1 Treffer
- notation 1 Treffer
- object language 1 Treffer
- operational semantics 1 Treffer
- pattern matching 1 Treffer
Publikation
Sprache
6 Treffer
-
In: Journal of Functional Programming, Jg. 21 (2011-05-01), Heft 3, S. 287-307academicJournalZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 26 (2016), Heft 1, S. 38-88Online academicJournalZugriff:
-
2015Online unknownZugriff: