Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 020207 software engineering 88 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 62 Treffer
- proof assistant 49 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 47 Treffer
- software 40 Treffer
-
45 weitere Werte:
- computer.programming_language 37 Treffer
- mathematical proof 34 Treffer
- correctness 31 Treffer
- theoretical computer science 28 Treffer
- business 19 Treffer
- business.industry 19 Treffer
- fos: computer and information sciences 18 Treffer
- safety, risk, reliability and quality 18 Treffer
- computer science::programming languages 17 Treffer
- semantics (computer science) 17 Treffer
- 020201 artificial intelligence & image processing 15 Treffer
- functional programming 15 Treffer
- soundness 15 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 13 Treffer
- automated theorem proving 13 Treffer
- computer science - programming languages 13 Treffer
- programming languages (cs.pl) 13 Treffer
- 020204 information systems 12 Treffer
- compiler 12 Treffer
- computer graphics and computer-aided design 12 Treffer
- computer science - logic in computer science 12 Treffer
- general computer science 11 Treffer
- logic in computer science (cs.lo) 11 Treffer
- operational semantics 11 Treffer
- type theory 10 Treffer
- separation logic 9 Treffer
- type (model theory) 9 Treffer
- computer science::logic in computer science 8 Treffer
- concurrency 8 Treffer
- formal verification 8 Treffer
- haskell 8 Treffer
- semantics 8 Treffer
- coq 7 Treffer
- denotational semantics 7 Treffer
- extension (predicate logic) 7 Treffer
- mathematics 7 Treffer
- media_common 7 Treffer
- media_common.quotation_subject 7 Treffer
- set (abstract data type) 7 Treffer
- code (cryptography) 6 Treffer
- computer science(all) 6 Treffer
- equivalence (formal languages) 6 Treffer
- software_programminglanguages 6 Treffer
- [info]computer science [cs] 5 Treffer
- 0101 mathematics 5 Treffer
Verlag
- acm 26 Treffer
- association for computing machinery (acm) 24 Treffer
- springer berlin heidelberg 19 Treffer
- springer international publishing 11 Treffer
- arxiv 9 Treffer
-
11 weitere Werte:
- elsevier bv 9 Treffer
- cambridge university press (cup) 4 Treffer
- acm press 2 Treffer
- ieee 2 Treffer
- assoc computing machinery 1 Treffer
- centre pour la communication scientifique directe (ccsd) 1 Treffer
- incoma ltd., shoumen, bulgaria 1 Treffer
- lavoisier 1 Treffer
- springer 1 Treffer
- springer science and business media llc 1 Treffer
- zhejiang university press 1 Treffer
Publikation
- proceedings of the acm on programming languages 16 Treffer
- electronic notes in theoretical computer science 8 Treffer
- acm sigplan notices 4 Treffer
- journal of functional programming 2 Treffer
- mathematical structures in computer science 2 Treffer
-
15 weitere Werte:
- proceedings of the 42nd acm sigplan international conference on programming language design and implementation 2 Treffer
- 2017 15th annual conference on privacy, security and trust (pst) 1 Treffer
- 2017 ieee international conference on smart computing (smartcomp) 1 Treffer
- acm transactions on computational logic 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- acm transactions on software engineering and methodology 1 Treffer
- formal aspects of computing 1 Treffer
- frontiers of information technology & electronic engineering 1 Treffer
- journal of automated reasoning 1 Treffer
- logical methods in computer science 1 Treffer
- proceedings of the 12th acm sigplan international conference on functional programming 1 Treffer
- proceedings of the 2020 acm sigplan international symposium on memory management 1 Treffer
- proceedings of the 33rd annual acm/ieee symposium on logic in computer science 1 Treffer
- science of computer programming 1 Treffer
- techniques et sciences informatiques 1 Treffer
117 Treffer
-
In: Journal of Functional Programming, Jg. 31 (2021)Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 164 (2018-10-01), S. 49-65Online unknownZugriff:
-
In: Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 2 (2018-07-30), S. 1-16Online unknownZugriff:
-
In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020-01-20Online unknownZugriff:
-
In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020-01-20Online unknownZugriff:
-
In: Proceedings of the 3rd ACM Workshop on Forming an Ecosystem Around Software Transformation, 2019-11-15Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 52 (2017-09-07), S. 63-74Online unknownZugriff:
-
2019Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 51 (2015-10-21), S. 26-40Online unknownZugriff:
-
In: Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017-09-07Online unknownZugriff:
-
In: ACM Transactions on Computational Logic, Jg. 14 (2013-11-01), S. 1-16Online unknownZugriff:
-
2007Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 5 (2021-08-19), S. 1-30Online unknownZugriff: