Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 020204 information systems 1 Treffer
- 16. peace & justice 1 Treffer
- axiom 1 Treffer
- category theory 1 Treffer
- class (set theory) 1 Treffer
-
26 weitere Werte:
- computer science 1 Treffer
- computer science - formal languages and automata theory 1 Treffer
- computer science - programming languages 1 Treffer
- computer science applications 1 Treffer
- computer science::logic in computer science 1 Treffer
- computer science::programming languages 1 Treffer
- computingmethodologies_documentandtextprocessing 1 Treffer
- data science 1 Treffer
- digital security 1 Treffer
- formal languages and automata theory (cs.fl) 1 Treffer
- mathematics 1 Treffer
- mathematics (miscellaneous) 1 Treffer
- object language 1 Treffer
- operational semantics 1 Treffer
- postcondition 1 Treffer
- precondition 1 Treffer
- programming languages (cs.pl) 1 Treffer
- reachability 1 Treffer
- set (abstract data type) 1 Treffer
- soundness 1 Treffer
- syntax (programming languages) 1 Treffer
- theoretical computer science 1 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 1 Treffer
- type theory 1 Treffer
- unit type 1 Treffer
- universal algebra 1 Treffer
Verlag
2 Treffer
-
In: Mathematical Structures in Computer Science, Jg. 21 (2011-07-01), S. 795-825Online unknownZugriff:
-
2014Online unknownZugriff: