Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- 02 engineering and technology 29 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 28 Treffer
- 01 natural sciences 25 Treffer
- 0102 computer and information sciences 23 Treffer
- 010201 computation theory & mathematics 23 Treffer
-
45 weitere Werte:
- 020201 artificial intelligence & image processing 22 Treffer
- mathematics 20 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 18 Treffer
- computer science 17 Treffer
- theoretical computer science 17 Treffer
- discrete mathematics 16 Treffer
- computer science - logic in computer science 13 Treffer
- petri net 13 Treffer
- fos: computer and information sciences 12 Treffer
- logic in computer science (cs.lo) 11 Treffer
- 020207 software engineering 10 Treffer
- complexity 10 Treffer
- general computer science 9 Treffer
- reachability problem 9 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 9 Treffer
- undecidable problem 9 Treffer
- [info.info-bi]computer science [cs]/bioinformatics [q-bio.qm] 8 Treffer
- computer science::logic in computer science 8 Treffer
- [info]computer science [cs] 7 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs 7 Treffer
- combinatorics 7 Treffer
- computer science::formal languages and automata theory 7 Treffer
- infinite state systems 7 Treffer
- model checking 7 Treffer
- upper and lower bounds 7 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 6 Treffer
- decidability 6 Treffer
- ideal 6 Treffer
- systems biology 6 Treffer
- temporal logic 6 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 6 Treffer
- vector addition system 6 Treffer
- 16. peace & justice 5 Treffer
- algorithm 5 Treffer
- class (set theory) 5 Treffer
- computer science::programming languages 5 Treffer
- coverability 5 Treffer
- decision problem 5 Treffer
- discrete dynamical systems 5 Treffer
- fast-growing complexity 5 Treffer
- logic 5 Treffer
- model-checking 5 Treffer
- [info.info-cc]computer science [cs]/computational complexity [cs.cc] 4 Treffer
- [scco.comp]cognitive science/computer science 4 Treffer
- acm: f.: theory of computation/f.1: computation by abstract devices/f.1.1: models of computation 4 Treffer
Verlag
Publikation
Sprache
Geographischer Bezug
50 Treffer
-
In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019) ; https://hal.science/hal-02305639 ; 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019), Arkadev Chattopadhyay; Paul Gastin, Dec 2019, Mumbai, India ; https://www.fsttcs.org.in/2019/, 2019Online KonferenzZugriff:
-
In: CONCUR 2019 ; https://hal.archives-ouvertes.fr/hal-02267453 ; CONCUR 2019, Aug 2019, AMSTERDAM, Netherlands, 2019Online KonferenzZugriff:
-
In: ISSN: 1567-7818, 2020Online academicJournalZugriff:
-
2012Online unknownZugriff:
-
In: LICS 2019, 34th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal.archives-ouvertes.fr/hal-02267524 ; LICS 2019, 2019KonferenzZugriff:
-
2019Online unknownZugriff:
-
In: STACS 2016 - 33rd Symposium on Theoretical Aspects of Computer Science ; https://inria.hal.science/hal-01275991, 2016KonferenzZugriff:
-
In: ACM Transactions on Computational Logic, Jg. 16 (2015-06-02), S. 1-30Online unknownZugriff:
-
In: LICS 2015 ; https://hal.science/hal-01168388 ; LICS 2015, Jul 2015, Kyoto, Japan. pp.56--67, ⟨10.1109/LICS.2015.16⟩, 2015KonferenzZugriff: