Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- 01 natural sciences 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
-
44 weitere Werte:
- 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
- 020207 software engineering 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
- bisimulation 1 Treffer
- bisimulation equivalence 1 Treffer
- call-by-value 1 Treffer
- computation 1 Treffer
- computer 1 Treffer
- computer graphics and computer-aided design 1 Treffer
- computer science::information retrieval 1 Treffer
- computer science::programming languages 1 Treffer
- computer.programming_language 1 Treffer
- control (linguistics) 1 Treffer
- critical pair 1 Treffer
- curry-howard correspondence 1 Treffer
- cut-elimination theorem 1 Treffer
- duality 1 Treffer
- duality (optimization) 1 Treffer
- evaluation strategy 1 Treffer
- hardware and architecture 1 Treffer
- hennessy-milner logic 1 Treffer
- kripke semantics 1 Treffer
- kripke structure 1 Treffer
- lambda calculus 1 Treffer
- lambda-calculus 1 Treffer
- lambda-mu calculus 1 Treffer
- natural deduction 1 Treffer
- order (ring theory) 1 Treffer
- outcome (game theory) 1 Treffer
- proof assistant 1 Treffer
- proof calculus 1 Treffer
- proof theory 1 Treffer
- sequent calculus 1 Treffer
- set (abstract data type) 1 Treffer
- structure (category theory) 1 Treffer
- structure (mathematical logic) 1 Treffer
- supervisory control 1 Treffer
- syntax (programming languages) 1 Treffer
- time-scale calculus 1 Treffer
- transition system 1 Treffer
Verlag
Sprache
2 Treffer
-
In: ACM Transactions on Embedded Computing Systems, Jg. 14 (2015-01-21), S. 1-21Online unknownZugriff:
-
2000Online unknownZugriff: