Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 33 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 31 Treffer
- formal proof 18 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 16 Treffer
- proof assistant 12 Treffer
-
45 weitere Werte:
- [info.info-dc]computer science [cs]/distributed 11 Treffer
- and cluster computing [cs.dc] 11 Treffer
- distributed algorithms 11 Treffer
- parallel 11 Treffer
- separation logic 11 Treffer
- automated deduction 10 Treffer
- hoare logic 10 Treffer
- mobile autonomous robots 10 Treffer
- graph algorithm 8 Treffer
- mathematical logic 8 Treffer
- theorem proving 8 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 6 Treffer
- interactive theorem proving 6 Treffer
- [info]computer science [cs] 5 Treffer
- computing and processing 5 Treffer
- floating-point arithmetic 5 Treffer
- modal logic 5 Treffer
- [info.info-ts]computer science [cs]/signal and image processing 4 Treffer
- audio 4 Treffer
- coq proof assistant 4 Treffer
- data processing computer science 4 Treffer
- dsp 4 Treffer
- syntactics 4 Treffer
- type theory 4 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 3 Treffer
- agda 3 Treffer
- bitcoin 3 Treffer
- blockchain 3 Treffer
- correctness 3 Treffer
- data structures design and analysis 3 Treffer
- decision procedure 3 Treffer
- kat 3 Treffer
- kleene algebra with tests 3 Treffer
- program correctness 3 Treffer
- program semantics 3 Treffer
- program specification 3 Treffer
- regular expressions 3 Treffer
- semantics 3 Treffer
- software verification 3 Treffer
- system f 3 Treffer
- teaching 3 Treffer
- [math.math-pr]mathematics [math]/probability [math.pr] 2 Treffer
- abstracts 2 Treffer
- cognition 2 Treffer
- communication, networking and broadcast technologies 2 Treffer
Verlag
- hal ccsd 39 Treffer
- acm 8 Treffer
- ieee 6 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 5 Treffer
- schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing 4 Treffer
-
9 weitere Werte:
- springer 4 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik 3 Treffer
- association for computing machinery, inc 2 Treffer
- schloss dagstuhl--leibniz-zentrum f{\"u}r informatik 2 Treffer
- association for computing machinery 1 Treffer
- lipics - leibniz international proceedings in informatics. 10th international conference on interactive theorem proving (itp 2019) 1 Treffer
- lipics - leibniz international proceedings in informatics. 22nd international conference on types for proofs and programs (types 2016) 1 Treffer
- lipics - leibniz international proceedings in informatics. 24th international conference on types for proofs and programs (types 2018) 1 Treffer
- oasics - openaccess series in informatics. 2nd workshop on formal methods for blockchains (fmbc 2020) 1 Treffer
Publikation
- 7th international conference on networked systems (netys 2019) ; https://hal.science/hal-02115599 ; 7th international conference on networked systems (netys 2019), jun 2019, marrakech, morocco. pp.93-09, ⟨10.1007/978-3-030-31277-0_7⟩ 7 Treffer
- leibniz international proceedings in informatics, lipics 3 Treffer
- lecture notes in computer science 2 Treffer
- 2010 4th ieee international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering (tase), 2010 4th ieee international symposium on 1 Treffer
- 2011 ieee 20th symposium on computer arithmetic, computer arithmetic (arith), 2011 20th ieee symposium on 1 Treffer
-
12 weitere Werte:
- 2012 20th telecommunications forum (telfor) 1 Treffer
- 2012 20th telecommunications forum (telfor), telecommunications forum (telfor), 2012 20th 1 Treffer
- 2012 20th telecommunications forum, telfor 2012 - proceedings 1 Treffer
- 2013 28th annual acm/ieee symposium on logic in computer science, logic in computer science (lics), 2013 28th annual ieee/acm symposium on 1 Treffer
- 2017 19th international symposium on symbolic and numeric algorithms for scientific computing (synasc), symbolic and numeric algorithms for scientific computing (synasc), 2017 19th international symposium on, synasc 1 Treffer
- acm international conference proceeding series 1 Treffer
- cpp 2019 - proceedings of the 8th acm sigplan international conference on certified programs and proofs, co-located with popl 2019 1 Treffer
- cpp 2024 - proceedings of the 13th acm sigplan international conference on certified programs and proofs, co-located with: popl 2024 1 Treffer
- formal methods and software engineering - 21st international conference on formal engineering methods, icfem 2019, proceedings 1 Treffer
- intelligent computer mathematics - 10th international conference, aisc 2010, 17th symposium, calculemus 2010, and 9th international conference, mkm 2010, proceedings 1 Treffer
- openaccess series in informatics 1 Treffer
- proceedings - symposium on computer arithmetic 1 Treffer
Sprache
Geographischer Bezug
25 Treffer
-
In: Proceedings of the ACM ; POPL 2024 - 51st ACM SIGPLAN Symposium on Principles of Programming Languages ; https://hal.science/hal-04271457, 2024Online KonferenzZugriff:
-
In: CPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-03472028 ; CPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. ⟨10.1145/3497775.3503677⟩, 2022Online KonferenzZugriff:
-
In: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013-06-01, S. 358-367Online KonferenzZugriff:
-
In: 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010-08-01, S. 47-56KonferenzZugriff:
-
In: The Linux Audio Conference (LAC 2015) ; https://minesparis-psl.hal.science/hal-01251069 ; The Linux Audio Conference (LAC 2015) , Johannes Gutenberg University (JGU), Apr 2015, Mainz, Germany ; http://lac.linuxaudio.org/2015/, 2015Online KonferenzZugriff: