Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 01 natural sciences 4 Treffer
- 0102 computer and information sciences 4 Treffer
- 010201 computation theory & mathematics 4 Treffer
- computer 4 Treffer
- computer science::logic in computer science 4 Treffer
-
45 weitere Werte:
- mathematical proof 4 Treffer
- 02 engineering and technology 3 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 3 Treffer
- 020207 software engineering 3 Treffer
- 16. peace & justice 3 Treffer
- computer science(all) 3 Treffer
- computer.programming_language 3 Treffer
- abstract syntax 2 Treffer
- computer science::programming languages 2 Treffer
- higher-order abstract syntax 2 Treffer
- lambda calculus 2 Treffer
- syntax 2 Treffer
- typed lambda calculus 2 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 1 Treffer
- [info.info-es] computer science [cs]/embedded systems 1 Treffer
- [info.info-es]computer science [cs]/embedded systems 1 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- algebraic structure 1 Treffer
- automated theorem proving 1 Treffer
- automaton 1 Treffer
- calculus 1 Treffer
- categorical algebra 1 Treffer
- category theory 1 Treffer
- coinduction 1 Treffer
- computability 1 Treffer
- computability theory 1 Treffer
- computable function 1 Treffer
- computation 1 Treffer
- computational linguistics 1 Treffer
- computer science - logic in computer science 1 Treffer
- computer science - symbolic computation 1 Treffer
- computer science::mathematical software 1 Treffer
- computer.software_genre 1 Treffer
- computingmethodologies_symbolicandalgebraicmanipulation 1 Treffer
- confluence 1 Treffer
- constraint solving 1 Treffer
- constructive 1 Treffer
- constructive logic 1 Treffer
- coq 1 Treffer
- correctness 1 Treffer
- correctness proofs 1 Treffer
- data flow diagram 1 Treffer
- data-flow analysis 1 Treffer
Verlag
Publikation
Sprache
6 Treffer
-
In: Electronic Notes in Theoretical Computer Science, Jg. 338 (2018-10-01), S. 203-218Online unknownZugriff:
-
2010Online unknownZugriff:
-
In: Theoretical Computer Science, Jg. 266 (2001-09-01), S. 1-57Online unknownZugriff:
-
In: Theoretical Computer Science, Jg. 253 (2001-02-01), S. 239-285Online unknownZugriff:
-
2008Online unknownZugriff: