Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 1 Treffer
- 01 natural sciences 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
-
28 weitere Werte:
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- 16. peace & justice 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
- completeness 1 Treffer
- conditionals (logic) 1 Treffer
- constructive proof 1 Treffer
- coq 1 Treffer
- curry-howard correspondence 1 Treffer
- cut-elimination theorem 1 Treffer
- discrete mathematics 1 Treffer
- first-order logic 1 Treffer
- focusing 1 Treffer
- intuitionistic logic 1 Treffer
- kripke semantics 1 Treffer
- linear logic 1 Treffer
- logic 1 Treffer
- mathematics 1 Treffer
- metatheory 1 Treffer
- natural deduction 1 Treffer
- programming languages 1 Treffer
- proof calculus 1 Treffer
- sequent calculus 1 Treffer
- soundness 1 Treffer
- structural proof theory 1 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
Verlag
Sprache
2 Treffer
-
In: Mathematical Structures in Computer Science, Jg. 31 (2021-03-01), Heft 3, S. 312-340Online academicJournalZugriff: