Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 0102 computer and information sciences 3 Treffer
- 010201 computation theory & mathematics 3 Treffer
- computer.programming_language 3 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 3 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 2 Treffer
-
45 weitere Werte:
- agda 2 Treffer
- algebra 2 Treffer
- algorithm 2 Treffer
- computer graphics and computer-aided design 2 Treffer
- computer science::logic in computer science 2 Treffer
- computer science::programming languages 2 Treffer
- computer.software_genre 2 Treffer
- pattern matching 2 Treffer
- programming language 2 Treffer
- proof assistant 2 Treffer
- type theory 2 Treffer
- [info.info-lo] computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- [math.math-co] mathematics [math]/combinatorics [math.co] 1 Treffer
- [math.math-co]mathematics [math]/combinatorics [math.co] 1 Treffer
- [math.math-oc] mathematics [math]/optimization and control [math.oc] 1 Treffer
- [math.math-oc]mathematics [math]/optimization and control [math.oc] 1 Treffer
- 010103 numerical & computational mathematics 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.2: lambda calculus and related systems 1 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.7: proof theory 1 Treffer
- artificial intelligence 1 Treffer
- calculus of constructions 1 Treffer
- call-by-value 1 Treffer
- combinatorics (math.co) 1 Treffer
- computation 1 Treffer
- computational theory and mathematics 1 Treffer
- computer science - logic in computer science 1 Treffer
- computer science::information retrieval 1 Treffer
- computer science::mathematical software 1 Treffer
- computingmethodologies_documentandtextprocessing 1 Treffer
- computingmilieux_miscellaneous 1 Treffer
- context (language use) 1 Treffer
- control (linguistics) 1 Treffer
- convex polyhedra 1 Treffer
- convex polytope 1 Treffer
- core language 1 Treffer
- correctness 1 Treffer
- critical pair 1 Treffer
- curry-howard correspondence 1 Treffer
- cut-elimination theorem 1 Treffer
- dependent types 1 Treffer
- determinism 1 Treffer
- duality 1 Treffer
- duality (optimization) 1 Treffer
Verlag
Publikation
Sprache
5 Treffer
-
In: Science of Computer Programming, Jg. 164 (2018-10-01), S. 37-48Online unknownZugriff:
-
In: Journal of Functional Programming, Jg. 26 (2016)Online unknownZugriff:
-
2000Online unknownZugriff: