Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- category theory (math.ct) 11 Treffer
- fos: computer and information sciences 11 Treffer
- fos: mathematics 11 Treffer
- logic in computer science (cs.lo) 11 Treffer
- f.4.1 4 Treffer
-
45 weitere Werte:
- mathematics - logic 4 Treffer
- mathematics::category theory 4 Treffer
- 16. peace & justice 3 Treffer
- logic (math.lo) 3 Treffer
- type theory 3 Treffer
- 000 computer science, knowledge, general works 2 Treffer
- 01 natural sciences 2 Treffer
- 0102 computer and information sciences 2 Treffer
- 010201 computation theory & mathematics 2 Treffer
- computer science 2 Treffer
- computer science applications 2 Treffer
- computer science::logic in computer science 2 Treffer
- computer science::programming languages 2 Treffer
- coq 2 Treffer
- f.3.2 2 Treffer
- homotopy 2 Treffer
- homotopy type theory 2 Treffer
- mathematics 2 Treffer
- mathematics (miscellaneous) 2 Treffer
- software science 2 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
- [info]computer science [cs] 1 Treffer
- [math]mathematics [math] 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- a1 homotopy theory 1 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 1 Treffer
- algebra 1 Treffer
- categorical semantics 1 Treffer
- d.2.4 1 Treffer
- dependent type theory 1 Treffer
- dependent types 1 Treffer
- fibration 1 Treffer
- formalization 1 Treffer
- homotopy lifting property 1 Treffer
- intuitionistic type theory 1 Treffer
- mathematics::algebraic topology 1 Treffer
- mathematics::k-theory and homology 1 Treffer
- mathematics::rings and algebras 1 Treffer
- monads 1 Treffer
- n-connected 1 Treffer
Verlag
Publikation
Sprache
13 Treffer
-
2022Online unknownZugriff:
-
In: Mathematical structures in computer science, Jg. 31 (2022-03-09), Heft SI: 10Online unknownZugriff:
-
2023Online unknownZugriff:
-
In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022-08-02Online unknownZugriff:
-
2012Online unknownZugriff:
-
2022Online unknownZugriff:
-
2015Online unknownZugriff:
-
2013Online unknownZugriff: