Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- theoryofcomputation_mathematicallogicandformallanguages 6 Treffer
- 02 engineering and technology 5 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 5 Treffer
- 020207 software engineering 5 Treffer
- computer 5 Treffer
-
45 weitere Werte:
- 01 natural sciences 4 Treffer
- agda 4 Treffer
- computer.programming_language 4 Treffer
- theoretical computer science 4 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 4 Treffer
- type theory 4 Treffer
- 0102 computer and information sciences 3 Treffer
- 010201 computation theory & mathematics 3 Treffer
- computer graphics and computer-aided design 3 Treffer
- mathematical proof 3 Treffer
- 0101 mathematics 2 Treffer
- 010102 general mathematics 2 Treffer
- algorithm 2 Treffer
- computer science::programming languages 2 Treffer
- computer.software_genre 2 Treffer
- core language 2 Treffer
- homotopy type theory 2 Treffer
- normalization (statistics) 2 Treffer
- programming language 2 Treffer
- recursion 2 Treffer
- safety, risk, reliability and quality 2 Treffer
- soundness 2 Treffer
- syntax 2 Treffer
- unification 2 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- abstract syntax 1 Treffer
- algebra 1 Treffer
- algorithmics 1 Treffer
- algorithmics. computability. computer arithmetics 1 Treffer
- algorithmique 1 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 1 Treffer
- algoritmica 1 Treffer
- applied sciences 1 Treffer
- axiom 1 Treffer
- calcul construction 1 Treffer
- calcul construction inductive (informatique) 1 Treffer
- calculo construccion 1 Treffer
- calculo construcciοn inductiva (informatica) 1 Treffer
- calculus 1 Treffer
- completeness (statistics) 1 Treffer
- computer science; control theory; systems 1 Treffer
- computer theory 1 Treffer
- computingmethodologies_documentandtextprocessing 1 Treffer
- concordance forme 1 Treffer
Verlag
Publikation
Sprache
8 Treffer
-
2019Online unknownZugriff:
-
In: TLCA 2003 : typed lambda calculi and applications (Valencia, 10-12 June 2003), 2003, S. 46-59KonferenzZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-10-12), S. 1-26Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 48 (2013-09-25), S. 185-196Online unknownZugriff:
-
In: Journal of Functional Programming, Jg. 26 (2016)Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 43 (2008-01-07), S. 359-369Online unknownZugriff: