Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- theoryofcomputation_logicsandmeaningsofprograms 45 Treffer
- computer 44 Treffer
- 01 natural sciences 40 Treffer
- 0102 computer and information sciences 38 Treffer
- 010201 computation theory & mathematics 38 Treffer
-
45 weitere Werte:
- computer.software_genre 37 Treffer
- programming language 37 Treffer
- proof assistant 24 Treffer
- mathematical proof 23 Treffer
- computer.programming_language 21 Treffer
- safety, risk, reliability and quality 18 Treffer
- artificial intelligence 16 Treffer
- computational theory and mathematics 16 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 14 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 13 Treffer
- 020204 information systems 13 Treffer
- computer science::logic in computer science 13 Treffer
- semantics (computer science) 12 Treffer
- soundness 12 Treffer
- theoretical computer science 12 Treffer
- computer science::programming languages 10 Treffer
- coq 10 Treffer
- type theory 10 Treffer
- 020201 artificial intelligence & image processing 9 Treffer
- computer graphics and computer-aided design 9 Treffer
- agda 8 Treffer
- business 8 Treffer
- business.industry 8 Treffer
- correctness 8 Treffer
- 16. peace & justice 6 Treffer
- algebra 6 Treffer
- calculus 6 Treffer
- fos: computer and information sciences 6 Treffer
- separation logic 6 Treffer
- [info]computer science [cs] 5 Treffer
- 0101 mathematics 5 Treffer
- 010102 general mathematics 5 Treffer
- coinduction 5 Treffer
- decidability 5 Treffer
- interactive theorem proving 5 Treffer
- logical relations 5 Treffer
- monad (functional programming) 5 Treffer
- operational semantics 5 Treffer
- recursion 5 Treffer
- automated theorem proving 4 Treffer
- axiom 4 Treffer
- computer science - logic in computer science 4 Treffer
- computingmilieux_miscellaneous 4 Treffer
- discrete mathematics 4 Treffer
- formal verification 4 Treffer
Verlag
Publikation
- proceedings of the acm on programming languages 8 Treffer
- journal of automated reasoning 7 Treffer
- science of computer programming 3 Treffer
- acm sigplan notices 2 Treffer
- journal of functional programming 2 Treffer
-
5 weitere Werte:
- 2017 32nd ieee/acm international conference on automated software engineering (ase) 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- electronic notes in theoretical computer science 1 Treffer
- electronic proceedings in theoretical computer science 1 Treffer
- proceedings of the 40th international conference on software engineering: companion proceeedings 1 Treffer
Sprache
56 Treffer
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-32Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 61 (2018-02-27), S. 423-453Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 170 (2019), S. 27-44Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 63 (2018-10-19), S. 393-413Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 164 (2018-10-01), S. 37-48Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 52 (2017-09-07), S. 63-74Online unknownZugriff:
-
In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018-05-27Online unknownZugriff:
-
2012Online unknownZugriff:
-
In: Journal of Functional Programming, Jg. 27 (2017)Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, , S. 43-55Online unknownZugriff: