Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- category theory (math.ct) 6 Treffer
- fos: computer and information sciences 6 Treffer
- fos: mathematics 6 Treffer
- logic in computer science (cs.lo) 6 Treffer
- computer science::logic in computer science 2 Treffer
-
41 weitere Werte:
- computer science::programming languages 2 Treffer
- coq 2 Treffer
- f.4.1 2 Treffer
- mathematics - logic 2 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
- 000 computer science, knowledge, general works 1 Treffer
- 01 natural sciences 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- a1 homotopy theory 1 Treffer
- algebra 1 Treffer
- bc1-199 1 Treffer
- computer science 1 Treffer
- computer science applications 1 Treffer
- dependent type theory 1 Treffer
- electronic computers. computer science 1 Treffer
- f.3.2 1 Treffer
- formalization 1 Treffer
- homotopy 1 Treffer
- homotopy lifting property 1 Treffer
- homotopy type theory 1 Treffer
- intuitionistic type theory 1 Treffer
- logic 1 Treffer
- logic (math.lo) 1 Treffer
- mathematics 1 Treffer
- mathematics (miscellaneous) 1 Treffer
- mathematics::category theory 1 Treffer
- mathematics::rings and algebras 1 Treffer
- monads 1 Treffer
- n-connected 1 Treffer
- proof theory 1 Treffer
- qa75.5-76.95 1 Treffer
- settore mat/01 - logica matematica 1 Treffer
- software science 1 Treffer
- theory of computation → logic and verification 1 Treffer
- theory of computation → type theory 1 Treffer
- type theory 1 Treffer
- univalent foundations 1 Treffer
Publikation
8 Treffer
-
2022Online unknownZugriff:
-
In: Mathematical structures in computer science, Jg. 31 (2022-03-09), Heft SI: 10Online unknownZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 14, Issue 3 (2018-09-01)Online academicJournalZugriff:
-
2012Online unknownZugriff:
-
2015Online unknownZugriff: