Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- theoryofcomputation_mathematicallogicandformallanguages 54 Treffer
- 01 natural sciences 39 Treffer
- 0102 computer and information sciences 37 Treffer
- 010201 computation theory & mathematics 37 Treffer
- 02 engineering and technology 31 Treffer
-
45 weitere Werte:
- 0202 electrical engineering, electronic engineering, information engineering 31 Treffer
- mathematics 26 Treffer
- computer science::logic in computer science 25 Treffer
- discrete mathematics 23 Treffer
- theoretical computer science 22 Treffer
- computer science 20 Treffer
- [info]computer science [cs] 17 Treffer
- 020201 artificial intelligence & image processing 17 Treffer
- model checking 16 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 14 Treffer
- complexity 14 Treffer
- decidability 14 Treffer
- temporal logic 14 Treffer
- 0101 mathematics 13 Treffer
- computer science::formal languages and automata theory 13 Treffer
- 010102 general mathematics 12 Treffer
- 020207 software engineering 12 Treffer
- 16. peace & justice 12 Treffer
- computer science - logic in computer science 11 Treffer
- fos: computer and information sciences 10 Treffer
- logic in computer science (cs.lo) 10 Treffer
- model-checking 10 Treffer
- satisfiability 10 Treffer
- general computer science 9 Treffer
- presburger arithmetic 9 Treffer
- undecidable problem 9 Treffer
- algebra 8 Treffer
- computer 8 Treffer
- logic 8 Treffer
- pspace 8 Treffer
- rewriting 8 Treffer
- combinatorics 7 Treffer
- mathematical proof 7 Treffer
- computer science applications 6 Treffer
- computer science::programming languages 6 Treffer
- computingmilieux_miscellaneous 6 Treffer
- reachability 6 Treffer
- undecidability 6 Treffer
- automated theorem proving 5 Treffer
- boolean satisfiability problem 5 Treffer
- computational theory and mathematics 5 Treffer
- computer.software_genre 5 Treffer
- computingmethodologies_symbolicandalgebraicmanipulation 5 Treffer
- first-order logic 5 Treffer
- information systems 5 Treffer
Verlag
Publikation
Sprache
61 Treffer
-
In: Journal of Logical and Algebraic Methods in Programming, Jg. 131 (2023-02-01), S. 100845-100845Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 274 (2018-07-01), S. 57-71Online unknownZugriff:
-
2012Online unknownZugriff:
-
2012Online unknownZugriff:
-
2008Online unknownZugriff: