Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 02 engineering and technology 205 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 204 Treffer
- 020207 software engineering 168 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 139 Treffer
- proof assistant 135 Treffer
-
45 weitere Werte:
- 01 natural sciences 110 Treffer
- 0102 computer and information sciences 101 Treffer
- 010201 computation theory & mathematics 101 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 91 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 84 Treffer
- theoretical computer science 78 Treffer
- software 72 Treffer
- mathematical proof 70 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 69 Treffer
- 020201 artificial intelligence & image processing 69 Treffer
- computer.programming_language 58 Treffer
- fos: computer and information sciences 53 Treffer
- compiler 51 Treffer
- correctness 50 Treffer
- semantics (computer science) 45 Treffer
- 020204 information systems 43 Treffer
- business 42 Treffer
- business.industry 42 Treffer
- computer science - logic in computer science 40 Treffer
- logic in computer science (cs.lo) 39 Treffer
- automated theorem proving 37 Treffer
- coq 37 Treffer
- formal verification 33 Treffer
- soundness 32 Treffer
- computer science - programming languages 28 Treffer
- programming languages (cs.pl) 28 Treffer
- operational semantics 23 Treffer
- [info]computer science [cs] 22 Treffer
- general computer science 22 Treffer
- type theory 21 Treffer
- artificial intelligence 20 Treffer
- computer science::programming languages 20 Treffer
- functional programming 20 Treffer
- lcsh:electronic computers. computer science 20 Treffer
- lcsh:qa75.5-76.95 20 Treffer
- computer graphics and computer-aided design 19 Treffer
- separation logic 19 Treffer
- computational theory and mathematics 18 Treffer
- computer science::logic in computer science 18 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 17 Treffer
- computingmilieux_miscellaneous 16 Treffer
- concurrency 16 Treffer
- lcsh:mathematics 16 Treffer
- lcsh:qa1-939 16 Treffer
- semantics 16 Treffer
Verlag
- hal ccsd 165 Treffer
- springer 8 Treffer
- open publishing association 7 Treffer
- acm 5 Treffer
- elsevier b.v. 5 Treffer
-
22 weitere Werte:
- association for computing machinery 3 Treffer
- association for computing machinery (acm) 2 Treffer
- centro latinoamericano de estudios en informatica 2 Treffer
- institute of electrical and electronics engineers (ieee) 2 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 2 Treffer
- springer netherlands 2 Treffer
- springer verlag 2 Treffer
- acm press 1 Treffer
- cambridge university press 1 Treffer
- elsevier 1 Treffer
- episciences.org 1 Treffer
- hindawi 1 Treffer
- ieee 1 Treffer
- information processing society of japan 1 Treffer
- instituto de informatica - universidade federal do rio grande do sul 1 Treffer
- lulea tekniska universitet, eislab 1 Treffer
- polish information processing society 1 Treffer
- springer international publishing 1 Treffer
- springer-verlag 1 Treffer
- the authors. published by elsevier b.v. 1 Treffer
- univesity of twente 1 Treffer
- zenodo 1 Treffer
Publikation
- electronic proceedings in theoretical computer science 8 Treffer
- electronic notes in theoretical computer science 4 Treffer
- proceedings of the acm on programming languages 3 Treffer
- journal of automated reasoning 2 Treffer
- annals of computer science and information systems 1 Treffer
- 8 weitere Werte:
266 Treffer
-
2018Online unknownZugriff:
-
2019Online unknownZugriff:
-
2015Online unknownZugriff:
-
In: Journal of Information Processing, Jg. 24 (2016), Heft No. 1, S. 132-140Online unknownZugriff:
-
2012Online unknownZugriff: