Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 01 natural sciences 53 Treffer
- 0102 computer and information sciences 51 Treffer
- 010201 computation theory & mathematics 51 Treffer
- computer science 47 Treffer
- 020201 artificial intelligence & image processing 44 Treffer
-
45 weitere Werte:
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 43 Treffer
- theoretical computer science 43 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 27 Treffer
- 020207 software engineering 23 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 23 Treffer
- mathematics 22 Treffer
- general computer science 21 Treffer
- computer science - formal languages and automata theory 20 Treffer
- decidability 20 Treffer
- formal languages and automata theory (cs.fl) 20 Treffer
- [info]computer science [cs] 18 Treffer
- computer science::formal languages and automata theory 17 Treffer
- discrete mathematics 17 Treffer
- model checking 14 Treffer
- computer science::logic in computer science 13 Treffer
- reachability 13 Treffer
- computingmilieux_miscellaneous 12 Treffer
- 16. peace & justice 11 Treffer
- 000 computer science, knowledge, general works 10 Treffer
- automaton 10 Treffer
- complexity 10 Treffer
- computational theory and mathematics 10 Treffer
- f.1.1 8 Treffer
- f.4.1 8 Treffer
- petri net 8 Treffer
- temporal logic 8 Treffer
- 0101 mathematics 7 Treffer
- 0209 industrial biotechnology 7 Treffer
- 020901 industrial engineering & automation 7 Treffer
- computer science applications 7 Treffer
- information systems 7 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 7 Treffer
- [info.info-gt]computer science [cs]/computer science and game theory [cs.gt] 6 Treffer
- 010102 general mathematics 6 Treffer
- bounded function 6 Treffer
- computational complexity (cs.cc) 6 Treffer
- computer science - computational complexity 6 Treffer
- computer science - computer science and game theory 6 Treffer
- computer science and game theory (cs.gt) 6 Treffer
- f.3.1 6 Treffer
- lcsh:electronic computers. computer science 6 Treffer
- lcsh:mathematics 6 Treffer
- lcsh:qa1-939 6 Treffer
- lcsh:qa75.5-76.95 6 Treffer
- logic 6 Treffer
Verlag
- hal ccsd 30 Treffer
- arxiv 6 Treffer
- centre pour la communication scientifique directe (ccsd) 4 Treffer
- elsevier bv 3 Treffer
- episciences.org 3 Treffer
-
6 weitere Werte:
- open publishing association 3 Treffer
- association for computing machinery (acm) 1 Treffer
- international joint conferences on artificial intelligence 1 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 1 Treffer
- springer international publishing 1 Treffer
- springer science and business media llc 1 Treffer
Publikation
Sprache
64 Treffer
-
In: Information and Computation, Jg. 289 (2022-11-01), S. 104856-104856Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 274 (2018-07-01), S. 57-71Online unknownZugriff:
-
2020Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 41 (2010-11-01), S. 61-75Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 39 (2010-10-01), S. 1-15Online unknownZugriff:
-
2012Online unknownZugriff:
-
In: Journal of Computer and System Sciences, Jg. 100 (2019-03-01), S. 96-129Online unknownZugriff:
-
In: Journal of Logical and Algebraic Methods in Programming, Jg. 99 (2018-10-01), S. 41-96Online unknownZugriff:
-
2020Online unknownZugriff:
-
2020Online unknownZugriff:
-
2020Online unknownZugriff: