Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer science 102 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 93 Treffer
- computer 90 Treffer
- computer.software_genre 82 Treffer
- programming language 82 Treffer
-
45 weitere Werte:
- proof assistant 60 Treffer
- 02 engineering and technology 56 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 56 Treffer
- 020207 software engineering 50 Treffer
- mathematical proof 46 Treffer
- 01 natural sciences 42 Treffer
- 0102 computer and information sciences 40 Treffer
- 010201 computation theory & mathematics 40 Treffer
- computer.programming_language 40 Treffer
- theoretical computer science 34 Treffer
- computer graphics and computer-aided design 29 Treffer
- artificial intelligence 27 Treffer
- computational theory and mathematics 27 Treffer
- business 24 Treffer
- business.industry 24 Treffer
- computer science::logic in computer science 21 Treffer
- safety, risk, reliability and quality 21 Treffer
- correctness 20 Treffer
- computer science::programming languages 18 Treffer
- soundness 18 Treffer
- semantics (computer science) 17 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 16 Treffer
- automated theorem proving 16 Treffer
- type theory 16 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 15 Treffer
- coq 15 Treffer
- mathematics 14 Treffer
- 020204 information systems 13 Treffer
- agda 12 Treffer
- algebra 12 Treffer
- fos: computer and information sciences 12 Treffer
- functional programming 12 Treffer
- recursion 10 Treffer
- separation logic 10 Treffer
- 020201 artificial intelligence & image processing 9 Treffer
- abstract syntax 9 Treffer
- calculus 9 Treffer
- formal verification 9 Treffer
- lambda calculus 9 Treffer
- semantics 9 Treffer
- calculus of constructions 8 Treffer
- computer science - programming languages 8 Treffer
- decidability 8 Treffer
- hol 8 Treffer
- operational semantics 8 Treffer
Verlag
- association for computing machinery (acm) 32 Treffer
- hal ccsd 17 Treffer
- springer science and business media llc 16 Treffer
- acm 8 Treffer
- cambridge university press (cup) 8 Treffer
-
14 weitere Werte:
- elsevier bv 8 Treffer
- arxiv 2 Treffer
- association for computing machinery 2 Treffer
- springer berlin heidelberg 2 Treffer
- cambridge university press 1 Treffer
- elsevier 1 Treffer
- elsevier b.v. 1 Treffer
- ieee 1 Treffer
- institute of electrical and electronics engineers (ieee) 1 Treffer
- open publishing association 1 Treffer
- published by elsevier b.v. 1 Treffer
- springer 1 Treffer
- springer international publishing 1 Treffer
- springer netherlands 1 Treffer
Publikation
- acm sigplan notices 17 Treffer
- journal of automated reasoning 16 Treffer
- proceedings of the acm on programming languages 9 Treffer
- journal of functional programming 8 Treffer
- science of computer programming 7 Treffer
-
13 weitere Werte:
- formal aspects of computing 4 Treffer
- acm transactions on programming languages and systems 2 Treffer
- 2017 32nd ieee/acm international conference on automated software engineering (ase) 1 Treffer
- acm transactions on embedded computing systems 1 Treffer
- acta informatica 1 Treffer
- electronic notes in theoretical computer science 1 Treffer
- electronic proceedings in theoretical computer science 1 Treffer
- ieee transactions on computer-aided design of integrated circuits and systems 1 Treffer
- innovations in systems and software engineering 1 Treffer
- journal of logical and algebraic methods in programming 1 Treffer
- journal of symbolic computation 1 Treffer
- pattern recognition 1 Treffer
- proceedings of the 40th international conference on software engineering: companion proceeedings 1 Treffer
Sprache
117 Treffer
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-32Online unknownZugriff:
-
In: Journal of Functional Programming, Jg. 33 (2023)Online 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: Journal of Logical and Algebraic Methods in Programming, Jg. 120 (2021-04-01), S. 100642-100642Online unknownZugriff:
-
In: ACM SIGPLAN Notices, Jg. 52 (2017-09-07), S. 63-74Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 113 (2015-12-01), S. 285-301Online unknownZugriff:
-
2013Online unknownZugriff:
-
In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018-05-27Online unknownZugriff:
-
2012Online unknownZugriff:
-
2012Online unknownZugriff:
-
2017Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 49 (2011-03-02), S. 141-159Online unknownZugriff: