Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 020201 artificial intelligence & image processing 2 Treffer
- 020204 information systems 2 Treffer
- 020207 software engineering 2 Treffer
- calculus 2 Treffer
- coinduction 2 Treffer
-
44 weitere Werte:
- computer science::programming languages 2 Treffer
- mathematical proof 2 Treffer
- reachability 2 Treffer
- theoretical computer science 2 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 1 Treffer
- [info.info-es]computer science [cs]/embedded systems 1 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 1 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- [info]computer science [cs] 1 Treffer
- 01 natural sciences 1 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- agda 1 Treffer
- axiom 1 Treffer
- computational theory and mathematics 1 Treffer
- computer 1 Treffer
- computer science - logic in computer science 1 Treffer
- computer.programming_language 1 Treffer
- computer.software_genre 1 Treffer
- confluence 1 Treffer
- correctness 1 Treffer
- dependent types 1 Treffer
- fos: computer and information sciences 1 Treffer
- functional requirement 1 Treffer
- gas meter prover 1 Treffer
- hol 1 Treffer
- hypervisor 1 Treffer
- lcsh:electronic computers. computer science 1 Treffer
- lcsh:mathematics 1 Treffer
- lcsh:qa1-939 1 Treffer
- lcsh:qa75.5-76.95 1 Treffer
- logic 1 Treffer
- logic in computer science (cs.lo) 1 Treffer
- principle of compositionality 1 Treffer
- problem domain 1 Treffer
- programming language 1 Treffer
- reuse 1 Treffer
- rewriting 1 Treffer
- safety, risk, reliability and quality 1 Treffer
- subject reduction 1 Treffer
- symbolic execution 1 Treffer
- termination 1 Treffer
- transition system 1 Treffer
- type theory 1 Treffer
Verlag
Sprache
3 Treffer
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-02), S. 32-47Online unknownZugriff: