Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 02 engineering and technology 96 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 94 Treffer
- theoretical computer science 81 Treffer
- mathematics 71 Treffer
- 020201 artificial intelligence & image processing 62 Treffer
-
45 weitere Werte:
- discrete mathematics 58 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 57 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 49 Treffer
- computer science 48 Treffer
- computer science::formal languages and automata theory 48 Treffer
- computer science::logic in computer science 39 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 30 Treffer
- fos: computer and information sciences 30 Treffer
- general computer science 28 Treffer
- undecidable problem 28 Treffer
- [info]computer science [cs] 27 Treffer
- 020207 software engineering 27 Treffer
- computer science - logic in computer science 23 Treffer
- 0101 mathematics 22 Treffer
- automaton 22 Treffer
- logic in computer science (cs.lo) 22 Treffer
- temporal logic 22 Treffer
- 010102 general mathematics 21 Treffer
- 16. peace & justice 19 Treffer
- computational theory and mathematics 18 Treffer
- logic 18 Treffer
- model checking 18 Treffer
- combinatorics 17 Treffer
- satisfiability 16 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 16 Treffer
- algorithm 15 Treffer
- information systems 15 Treffer
- reachability 15 Treffer
- software 15 Treffer
- complexity 14 Treffer
- set (abstract data type) 14 Treffer
- theoryofcomputation_computationbyabstractdevices 14 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 13 Treffer
- cryptographic protocol 13 Treffer
- computer science applications 12 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 11 Treffer
- computer science - formal languages and automata theory 11 Treffer
- computingmilieux_miscellaneous 11 Treffer
- formal languages and automata theory (cs.fl) 11 Treffer
- automata theory 10 Treffer
- bounded function 10 Treffer
- fragment (logic) 10 Treffer
- reachability problem 10 Treffer
- tree automaton 10 Treffer
- computational mathematics 9 Treffer
Verlag
- hal ccsd 58 Treffer
- springer berlin heidelberg 9 Treffer
- elsevier bv 7 Treffer
- arxiv 5 Treffer
- springer international publishing 5 Treffer
-
10 weitere Werte:
- centre pour la communication scientifique directe (ccsd) 2 Treffer
- episciences.org 2 Treffer
- springer 2 Treffer
- springer science and business media llc 2 Treffer
- elsevier 1 Treffer
- elsevier b.v. 1 Treffer
- elsevier inc. 1 Treffer
- ieee 1 Treffer
- open publishing association 1 Treffer
- springer publishing company 1 Treffer
Publikation
Sprache
111 Treffer
-
In: Information and Computation, Jg. 289 (2022-11-01), S. 104856-104856Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 41 (2010-11-01), S. 61-75Online unknownZugriff:
-
2012Online unknownZugriff:
-
2012Online unknownZugriff:
-
2008Online unknownZugriff:
-
In: Journal of Computer and System Sciences, Jg. 100 (2019-03-01), S. 96-129Online unknownZugriff:
-
In: Information and Computation, Jg. 262 (2018-10-01), S. 280-310Online unknownZugriff:
-
In: Information and Computation, Jg. 258 (2018-02-01), S. 28-49Online unknownZugriff: