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] 15 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 specification 3 Treffer
- regular expressions 3 Treffer
- semantics 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
- computer languages 2 Treffer
- denotational semantics 2 Treffer
- haskell 2 Treffer
Verlag
- hal ccsd 38 Treffer
- acm 7 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
64 Treffer
-
In: CPP 2023 - Certified Programs and Proofs ; https://inria.hal.science/hal-03917948 ; CPP 2023 - Certified Programs and Proofs, Jan 2023, Boston, United States. ⟨10.1145/3573105.3575691⟩ ; https://dl.acm.org/doi/proceedings/10.1145/3573105, 2023Online KonferenzZugriff:
-
In: Certified Programs and Proofs ; https://hal.science/hal-03380459 ; Certified Programs and Proofs, ACM, Jan 2021, Virtual Event, Denmark. ⟨10.1145/3437992.3439920⟩ ; https://dl.acm.org/doi/proceedings/10.1145/3437992, 2021Online KonferenzZugriff:
-
In: 2011 IEEE 20th Symposium on Computer Arithmetic, 2011-07-01, S. 243-252KonferenzZugriff:
-
2018KonferenzZugriff:
-
In: Interactive Theorem Proving 2013 ; https://hal.science/hal-00785969 ; Interactive Theorem Proving 2013, Jul 2013, Rennes, France. pp.180-196, ⟨10.1007/978-3-642-39634-2_15⟩, 2013Online KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
In: The 1st International Workshop on Coq for PL (Co-located with POPL) ; https://minesparis-psl.hal.science/hal-01108173 ; The 1st International Workshop on Coq for PL (Co-located with POPL), Jan 2015, Mumbai, India, 2015Online KonferenzZugriff:
-
In: 2012 20th Telecommunications Forum (TELFOR), 2012-11-01, S. 1586-1588KonferenzZugriff:
-
In: International Conference on Functional Programming (ICFP 2018) ; https://hal.science/hal-01898522 ; International Conference on Functional Programming (ICFP 2018), ACM, Sep 2018, St Louis, MO, United States. pp.77, ⟨10.1145/3236772⟩ ; https://conf.researchr.org/home/icfp-2018, 2018Online KonferenzZugriff:
-
2020Online KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
In: 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⟩, 2019KonferenzZugriff:
-
In: 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2017-09-01, S. 129-136KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff: