Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 10 Treffer
- iris 7 Treffer
- separation logic 6 Treffer
- concurrency 5 Treffer
- dependent type theory 4 Treffer
-
45 weitere Werte:
- type theory 4 Treffer
- biochemistry 3 Treffer
- dependent types 3 Treffer
- logical relations 3 Treffer
- message passing 3 Treffer
- session types 3 Treffer
- actor model 2 Treffer
- confluence 2 Treffer
- controllability 2 Treffer
- genetics 2 Treffer
- interactive theorem proving 2 Treffer
- mitochondria 2 Treffer
- mitochondrial disease 2 Treffer
- modal logic 2 Treffer
- molecular biology 2 Treffer
- non-determinism 2 Treffer
- non-interference 2 Treffer
- process algebra 2 Treffer
- protocol verification 2 Treffer
- theorem proving 2 Treffer
- 22/2 oa procedure 1 Treffer
- 3t3-l1 1 Treffer
- abstraction 1 Treffer
- agda 1 Treffer
- aids 1 Treffer
- antioxidant enzymes 1 Treffer
- arabidopsis-thaliana 1 Treffer
- astrogliosis 1 Treffer
- atovaquone 1 Treffer
- automated theorem proving 1 Treffer
- azotobacter 1 Treffer
- bestuurskunde 1 Treffer
- biochemie 1 Treffer
- biomarkers 1 Treffer
- biosynthesis 1 Treffer
- bisimulation 1 Treffer
- blockchain 1 Treffer
- branching bisimulation 1 Treffer
- buparvaquone 1 Treffer
- caenorhabditis-elegans 1 Treffer
- cardiac metabolism 1 Treffer
- climate change adaptation 1 Treffer
- clinical biochemistry 1 Treffer
- code verification 1 Treffer
- coenzyme q 1 Treffer
Verlag
- springer 24 Treffer
- association for computing machinery, inc 4 Treffer
- association for computing machinery (acm) 3 Treffer
- schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing 3 Treffer
- cwi 2 Treffer
-
10 weitere Werte:
- technische universiteit eindhoven 2 Treffer
- [s.l. : s.n.] 1 Treffer
- association for computing machinery 1 Treffer
- centre on regulation in europe (cerre) 1 Treffer
- institute of electrical and electronics engineers (ieee) 1 Treffer
- institute of electrical and electronics engineers inc. 1 Treffer
- int. fed. of computational logic 1 Treffer
- s.n. 1 Treffer
- springer/verlag 1 Treffer
- univesity of twente 1 Treffer
Publikation
- logic group preprint series 8 Treffer
- proceedings of the acm on programming languages 5 Treffer
- formal aspects of computing 3 Treffer
- journal of functional programming 3 Treffer
- logical methods in computer science 3 Treffer
-
37 weitere Werte:
- molecular omics 3 Treffer
- acm transactions on embedded computing systems 2 Treffer
- biochemical pharmacology 2 Treffer
- discrete event dynamic systems 2 Treffer
- mathematical structures in computer science 2 Treffer
- 13th international conference on interactive theorem proving (itp 2022) 1 Treffer
- annals of the rheumatic diseases 1 Treffer
- antioxidants 1 Treffer
- applied sciences 1 Treffer
- artificial intelligence preprint series 1 Treffer
- arxiv 1 Treffer
- biomedicines 1 Treffer
- comparative biochemistry and physiology. b, comparative biochemistry 1 Treffer
- cpp 2021 1 Treffer
- formal aspects of component software 1 Treffer
- fundamenta informaticae 1 Treffer
- fundamental approaches to software engineering 1 Treffer
- ifac proceedings volumes 1 Treffer
- international journal of agricultural sustainability 1 Treffer
- journal of asthma 1 Treffer
- journal of automated reasoning 1 Treffer
- journal of biological chemistry 1 Treffer
- journal of clinical epidemiology 1 Treffer
- journal of clinical medicine 1 Treffer
- journal of eukaryotic microbiology 1 Treffer
- journal of symbolic computation 1 Treffer
- molecular biology reports 1 Treffer
- oxidative medicine and cellular longevity 1 Treffer
- proceedings 2nd workshop on algebra of communicating processes (acp'95, eindhoven, the netherlands, april 1995) 1 Treffer
- proceedings eighth international workshop on termination (wst 2006, seattle wa, usa, august 15-16, 2006) 1 Treffer
- proceedings of the national academy of sciences of the united states of america 1 Treffer
- quality of life research 1 Treffer
- redox biology 1 Treffer
- science of computer programming 1 Treffer
- theoretical computer science 1 Treffer
- theory and decision 1 Treffer
- verification, model checking, and abstract interpretation 1 Treffer
117 Treffer
-
In: CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL, 2022-01-17, S. 291-306Online KonferenzZugriff:
-
In: Redox Biology, Jg. 55 (2022-09-01)Online serialPeriodicalZugriff:
-
In: Biomedicines, Jg. 9 (2021-10-13), Heft 10, S. 1Online serialPeriodicalZugriff:
-
In: Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2021., 2021, S. 299-313KonferenzZugriff:
-
In: CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL, 2022-01-17, S. 100-115Online KonferenzZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 2 (2018), Heft ICFPOnline serialPeriodicalZugriff:
-
In: Proceedings - 2021 IEEE Symposium on Security and Privacy, SP, 2021-05-01, S. 1416-1433Online KonferenzZugriff:
-
In: 12th International Conference on Interactive Theorem Proving (ITP 2021), 2021, S. 1-18KonferenzZugriff:
-
In: Proceedings - 2021 IEEE Symposium on Security and Privacy, SP, 2021KonferenzZugriff:
-
In: CPP 2021 - Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL, 2021Online KonferenzZugriff:
-
In: Theoretical Computer Science, Jg. 272 (2002), Heft 1-2, S. 293-314Online serialPeriodical
-
In: Logical Methods in Computer Science, Jg. 17 (2021-08-21), Heft 3Online serialPeriodicalZugriff:
-
In: Mathematical structures in computer science, Jg. 31 (2022-03-09), Heft SI: 10Online serialPeriodicalZugriff:
-
In: Mathematical Structures in Computer Science, 2022Online serialPeriodicalZugriff:
-
In: Artificial Intelligence Preprint Series, Jg. 28 (2001-12-01)Online reportZugriff:
-
2006Online reportZugriff:
-
In: Proceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006), 2006, S. 69-73KonferenzZugriff: