Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- 01 natural sciences 2 Treffer
- 0101 mathematics 2 Treffer
- 010102 general mathematics 2 Treffer
- calculus 2 Treffer
- computer science::logic in computer science 2 Treffer
-
24 weitere Werte:
- cut-elimination theorem 2 Treffer
- discrete mathematics 2 Treffer
- linear logic 2 Treffer
- mathematics 2 Treffer
- natural deduction 2 Treffer
- proof calculus 2 Treffer
- sequent 2 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
- 020201 artificial intelligence & image processing 1 Treffer
- 16. peace & justice 1 Treffer
- curry-howard correspondence 1 Treffer
- hardware_logicdesign 1 Treffer
- intuitionistic logic 1 Treffer
- kripke semantics 1 Treffer
- logic 1 Treffer
- method of analytic tableaux 1 Treffer
- noncommutative logic 1 Treffer
- phil 1 Treffer
- proof theory 1 Treffer
- substructural logic 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
Verlag
Sprache
Geographischer Bezug
4 Treffer
-
In: LICS 2009 - Twenty-Fourth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE ; https://inria.hal.science/hal-00772347 ; LICS 2009 - Twenty-Fourth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE, Aug 2009, Los Angeles, United States, 2009KonferenzZugriff:
-
In: ISSN: 0168-0072 ; Annals of Pure and Applied Logic ; https://inria.hal.science/hal-00772736 ; Annals of Pure and Applied Logic, 2011, ⟨10.1016/j.apal.2011.01.012⟩, 2011Online academicJournalZugriff:
-
2011Online unknownZugriff: