Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- alphabets 2 Treffer
- change 2 Treffer
- complexity 2 Treffer
- computational complexity 2 Treffer
- cryptographic protocols 2 Treffer
-
21 weitere Werte:
- embeddings (mathematics) 2 Treffer
- expressiveness 2 Treffer
- flatness 2 Treffer
- intersection theory 2 Treffer
- linear-time temporal logic 2 Treffer
- machine theory 2 Treffer
- mathematical logic 2 Treffer
- model-checking 2 Treffer
- nonmonotonic logic 2 Treffer
- np-hard problems 2 Treffer
- operator theory 2 Treffer
- ordinals 2 Treffer
- presburger arithmetic 2 Treffer
- problem solving 2 Treffer
- resolution 2 Treffer
- simulation methods & models 2 Treffer
- stuttering 2 Treffer
- system of equations 2 Treffer
- tree automata 2 Treffer
- well-structured transition systems 2 Treffer
- small solution 1 Treffer
Sprache
3 Treffer
-
In: Information & Computation, Jg. 242 (2015-06-01), S. 306-339Online academicJournal
-
In: Information & Computation, Jg. 224 (2013-03-01), S. 1-22Online academicJournal
-
In: Information & Computation, Jg. 205 (2007-06-01), Heft 6, S. 817-869Online academicJournal