Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- theoryofcomputation_logicsandmeaningsofprograms 16 Treffer
- 02 engineering and technology 15 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 14 Treffer
- computer science::programming languages 12 Treffer
- computer science 11 Treffer
-
45 weitere Werte:
- computer 10 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 9 Treffer
- 020207 software engineering 9 Treffer
- proof assistant 9 Treffer
- mathematical proof 8 Treffer
- algebra 7 Treffer
- mathematics 7 Treffer
- 16. peace & justice 6 Treffer
- computer science - programming languages 6 Treffer
- computer.software_genre 6 Treffer
- programming language 6 Treffer
- programming languages (cs.pl) 6 Treffer
- theoretical computer science 6 Treffer
- 020201 artificial intelligence & image processing 4 Treffer
- automated theorem proving 4 Treffer
- computer.programming_language 4 Treffer
- coq 4 Treffer
- general computer science 4 Treffer
- software 4 Treffer
- soundness 4 Treffer
- 0101 mathematics 3 Treffer
- 010102 general mathematics 3 Treffer
- 020204 information systems 3 Treffer
- bisimulation 3 Treffer
- calculus 3 Treffer
- coinduction 3 Treffer
- computingmethodologies_symbolicandalgebraicmanipulation 3 Treffer
- correctness 3 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 2 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 2 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 2 Treffer
- agda 2 Treffer
- axiom 2 Treffer
- computational theory and mathematics 2 Treffer
- computer science::mathematical software 2 Treffer
- computingmilieux_miscellaneous 2 Treffer
- decision procedure 2 Treffer
- discrete mathematics 2 Treffer
- hoare logic 2 Treffer
- homotopy type theory 2 Treffer
- intuitionistic type theory 2 Treffer
- kleene algebra 2 Treffer
- lambda calculus 2 Treffer
- lcsh:electronic computers. computer science 2 Treffer
Verlag
Publikation
Sprache
19 Treffer
-
2013Online unknownZugriff:
-
2010Online unknownZugriff:
-
2012Online unknownZugriff:
-
In: The Computer Journal, Jg. 65 (2021-05-03), S. 1891-1903Online unknownZugriff:
-
2012Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-02), S. 32-47Online unknownZugriff:
-
2014Online unknownZugriff: