Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer science 13 Treffer
- 01 natural sciences 10 Treffer
- 0102 computer and information sciences 10 Treffer
- 010201 computation theory & mathematics 10 Treffer
- computer 10 Treffer
-
45 weitere Werte:
- computer.software_genre 10 Treffer
- programming language 10 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 10 Treffer
- proof assistant 8 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 6 Treffer
- compiler 6 Treffer
- fos: computer and information sciences 5 Treffer
- theoretical computer science 5 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 5 Treffer
- computer science - logic in computer science 4 Treffer
- correctness 4 Treffer
- logic in computer science (cs.lo) 4 Treffer
- code (cryptography) 3 Treffer
- compiler correctness 3 Treffer
- computer science - programming languages 3 Treffer
- coq 3 Treffer
- formal verification 3 Treffer
- programming languages (cs.pl) 3 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 2 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 2 Treffer
- 020201 artificial intelligence & image processing 2 Treffer
- 020204 information systems 2 Treffer
- automated theorem proving 2 Treffer
- business 2 Treffer
- business.industry 2 Treffer
- computer.programming_language 2 Treffer
- data structure 2 Treffer
- intermediate language 2 Treffer
- metatheory 2 Treffer
- operational semantics 2 Treffer
- semantics (computer science) 2 Treffer
- soundness 2 Treffer
- [info.info-dc]computer science [cs]/distributed, parallel, and cluster computing [cs.dc] 1 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 1 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 1 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 1 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 1 Treffer
- 13. climate action 1 Treffer
- abstract interpretation 1 Treffer
- abstract syntax 1 Treffer
- algorithm 1 Treffer
- amortized analysis 1 Treffer
- assembly language 1 Treffer
- bdd 1 Treffer
- benchmark (computing) 1 Treffer
Verlag
Publikation
Sprache
16 Treffer
-
In: Journal of Automated Reasoning, Jg. 53 (2014-06-19), S. 271-304Online unknownZugriff:
-
In: Journal of Functional Programming, Jg. 27 (2017)Online unknownZugriff:
-
2009Online unknownZugriff:
-
2020Online unknownZugriff:
-
2022Online unknownZugriff: