Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- theoryofcomputation_mathematicallogicandformallanguages 41 Treffer
- proof assistant 35 Treffer
- 02 engineering and technology 33 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 33 Treffer
- 020207 software engineering 30 Treffer
-
45 weitere Werte:
- software 22 Treffer
- correctness 21 Treffer
- computer.programming_language 20 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 15 Treffer
- 01 natural sciences 15 Treffer
- 0102 computer and information sciences 15 Treffer
- 010201 computation theory & mathematics 15 Treffer
- theoretical computer science 15 Treffer
- mathematical proof 14 Treffer
- operational semantics 14 Treffer
- semantics 14 Treffer
- 020204 information systems 13 Treffer
- compiler 13 Treffer
- soundness 13 Treffer
- fos: computer and information sciences 11 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 10 Treffer
- computer science - logic in computer science 10 Treffer
- computer science::programming languages 10 Treffer
- logic in computer science (cs.lo) 10 Treffer
- business 9 Treffer
- business.industry 9 Treffer
- computer science::logic in computer science 9 Treffer
- 020201 artificial intelligence & image processing 8 Treffer
- coinduction 8 Treffer
- concurrency 8 Treffer
- denotational semantics 8 Treffer
- type theory 8 Treffer
- safety, risk, reliability and quality 7 Treffer
- artificial intelligence 5 Treffer
- calculus 5 Treffer
- computer science - programming languages 5 Treffer
- computer.file_format 5 Treffer
- computingmilieux_miscellaneous 5 Treffer
- formal specification 5 Treffer
- formal verification 5 Treffer
- functional programming 5 Treffer
- hoare logic 5 Treffer
- lambda calculus 5 Treffer
- lcsh:electronic computers. computer science 5 Treffer
- lcsh:mathematics 5 Treffer
- lcsh:qa1-939 5 Treffer
- lcsh:qa75.5-76.95 5 Treffer
- programming languages (cs.pl) 5 Treffer
- simple (abstract algebra) 5 Treffer
- 16. peace & justice 4 Treffer
Verlag
Publikation
- proceedings of the acm on programming languages 7 Treffer
- electronic proceedings in theoretical computer science 5 Treffer
- acm sigplan notices 2 Treffer
- 2017 32nd ieee/acm international conference on automated software engineering (ase) 1 Treffer
- 2020 ieee european symposium on security and privacy workshops (euros&pw) 1 Treffer
-
10 weitere Werte:
- acm sigapp applied computing review 1 Treffer
- acm transactions on embedded computing systems 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- formal aspects of computing 1 Treffer
- frontiers of information technology & electronic engineering 1 Treffer
- journal of applied logic 1 Treffer
- journal of automated reasoning 1 Treffer
- procedia computer science 1 Treffer
- proceedings of the 33rd annual acm symposium on applied computing 1 Treffer
- science of computer programming 1 Treffer
Sprache
74 Treffer
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-32Online unknownZugriff:
-
In: Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019-08-08Online unknownZugriff:
-
2018Online unknownZugriff:
-
2017Online unknownZugriff:
-
2007Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-08-19), S. 1-30Online unknownZugriff:
-
In: Procedia Computer Science, Jg. 1 (2010-05-01), Heft 1, S. 155-164Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-10-15), S. 1-29Online 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:
-
In: Formal Aspects of Computing, Jg. 32 (2020-07-01), S. 275-314Online unknownZugriff: