Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- theoryofcomputation_logicsandmeaningsofprograms 30 Treffer
- 01 natural sciences 23 Treffer
- 0102 computer and information sciences 22 Treffer
- 010201 computation theory & mathematics 22 Treffer
- proof assistant 15 Treffer
-
45 weitere Werte:
- safety, risk, reliability and quality 15 Treffer
- computer.programming_language 14 Treffer
- mathematical proof 13 Treffer
- semantics (computer science) 11 Treffer
- 020204 information systems 10 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 9 Treffer
- computer graphics and computer-aided design 8 Treffer
- soundness 8 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 7 Treffer
- artificial intelligence 6 Treffer
- computational theory and mathematics 6 Treffer
- correctness 6 Treffer
- separation logic 6 Treffer
- theoretical computer science 6 Treffer
- type theory 6 Treffer
- 020201 artificial intelligence & image processing 5 Treffer
- 16. peace & justice 5 Treffer
- business 5 Treffer
- business.industry 5 Treffer
- computer science::logic in computer science 5 Treffer
- computer science::programming languages 5 Treffer
- coq 5 Treffer
- logical relations 5 Treffer
- monad (functional programming) 5 Treffer
- operational semantics 5 Treffer
- [info]computer science [cs] 4 Treffer
- formal verification 4 Treffer
- hoare logic 4 Treffer
- iris 4 Treffer
- recursion 4 Treffer
- semantics 4 Treffer
- abstract syntax 3 Treffer
- agda 3 Treffer
- axiom 3 Treffer
- coinduction 3 Treffer
- computingmilieux_miscellaneous 3 Treffer
- extension (predicate logic) 3 Treffer
- fos: computer and information sciences 3 Treffer
- functional programming 3 Treffer
- impredicativity 3 Treffer
- interactive theorem proving 3 Treffer
- satisfiability modulo theories 3 Treffer
- simple (abstract algebra) 3 Treffer
- system f 3 Treffer
- toolchain 3 Treffer
Verlag
Publikation
Sprache
37 Treffer
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-32Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 170 (2019), S. 27-44Online 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: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-01-04), S. 1-28Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2020-11-13), S. 1-31Online unknownZugriff:
-
2020Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 1 (2017-08-29), S. 1-29Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 58 (2017-03-01), Heft 3, S. 341-362Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 126 (2016-09-01), S. 31-51Online unknownZugriff: