Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 01 natural sciences 1 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
-
25 weitere Werte:
- 020204 information systems 1 Treffer
- 16. peace & justice 1 Treffer
- coinduction 1 Treffer
- computational theory and mathematics 1 Treffer
- computer science::logic in computer science 1 Treffer
- computer science::programming languages 1 Treffer
- context (language use) 1 Treffer
- hol 1 Treffer
- interpretation (logic) 1 Treffer
- lemma (mathematics) 1 Treffer
- logic 1 Treffer
- logical connective 1 Treffer
- mathematical proof 1 Treffer
- principle of compositionality 1 Treffer
- problem domain 1 Treffer
- proof assistant 1 Treffer
- reachability 1 Treffer
- reuse 1 Treffer
- semantics (computer science) 1 Treffer
- sequent 1 Treffer
- sequent calculus 1 Treffer
- software 1 Treffer
- soundness 1 Treffer
- theoretical computer science 1 Treffer
- universal quantification 1 Treffer
Sprache
2 Treffer
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-02), S. 32-47Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 197 (2015-11-08), S. 15-28Online unknownZugriff: