Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 45 Treffer
- coq 39 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 34 Treffer
- formal proof 23 Treffer
- separation logic 13 Treffer
-
45 weitere Werte:
- [info]computer science [cs] 12 Treffer
- formal methods 12 Treffer
- graph algorithm 12 Treffer
- mathematical logic 12 Treffer
- [info.info-dc]computer science [cs]/distributed 11 Treffer
- and cluster computing [cs.dc] 11 Treffer
- distributed algorithms 11 Treffer
- parallel 11 Treffer
- proof assistant 11 Treffer
- automated deduction 10 Treffer
- coq proof assistant 10 Treffer
- mobile autonomous robots 10 Treffer
- theorem proving 10 Treffer
- type theory 9 Treffer
- monads 8 Treffer
- proof assistants 8 Treffer
- floating-point arithmetic 7 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 6 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 6 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 5 Treffer
- cryptography 5 Treffer
- denotational semantics 5 Treffer
- formal semantics 5 Treffer
- hoare logic 5 Treffer
- interactive theorem proving 5 Treffer
- invariants 5 Treffer
- methodes formelles 5 Treffer
- modal logic 5 Treffer
- [info.info-ts]computer science [cs]/signal and image processing 4 Treffer
- audio 4 Treffer
- compilers 4 Treffer
- concurrency 4 Treffer
- coq (language) 4 Treffer
- data processing computer science 4 Treffer
- dsp 4 Treffer
- functional programming 4 Treffer
- operational semantics 4 Treffer
- programming languages 4 Treffer
- regular expressions 4 Treffer
- semantics 4 Treffer
- software verification 4 Treffer
- theory of computation 4 Treffer
- verification de programmes 4 Treffer
- [info.info-hc]computer science [cs]/human-computer interaction [cs.hc] 3 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 3 Treffer
Verlag
- hal ccsd 75 Treffer
- acm 22 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik 5 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 5 Treffer
- association for computing machinery 3 Treffer
-
16 weitere Werte:
- springer 3 Treffer
- princeton, nj : princeton university 2 Treffer
- schloss dagstuhl--leibniz-zentrum f{\"u}r informatik 2 Treffer
- acm press 1 Treffer
- chapman 1 Treffer
- country:ita 1 Treffer
- elsevier 1 Treffer
- kansas state university 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
- place:pisa 1 Treffer
- universidad de chile 1 Treffer
- universita degli studi di pisa 1 Treffer
- unpublished 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
- issn: 0164-0925 2 Treffer
- $2 1 Treffer
- dtic 1 Treffer
- issn: 2475-1421 ; proceedings of the acm on programming languages ; https://inria.hal.science/hal-03108936 ; proceedings of the acm on programming languages, 2020, 4, ⟨10.1145/3408998⟩ 1 Treffer
Sprache
Geographischer Bezug
112 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: 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: Certified Programs and Proofs ; https://hal.archives-ouvertes.fr/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: 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: ISSN: 0164-0925, 2023Online academicJournalZugriff:
-
In: ISSN: 0164-0925, 2023Online academicJournalZugriff:
-
In: ISSN: 0164-0925, 2023Online academicJournalZugriff:
-
In: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://hal.science/hal-03886910 ; Proceedings of the ACM on Programming Languages, 2023, pp.1-31. ⟨10.1145/3571254⟩, 2023Online academicJournalZugriff:
-
In: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://hal.science/hal-03886910 ; Proceedings of the ACM on Programming Languages, 2023, pp.1-31. ⟨10.1145/3571254⟩, 2023Online academicJournalZugriff:
-
In: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://hal.science/hal-03886910 ; Proceedings of the ACM on Programming Languages, 2023, pp.1-31. ⟨10.1145/3571254⟩, 2023Online academicJournalZugriff:
-
2018KonferenzZugriff:
-
2018Online KonferenzZugriff:
-
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:
-
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:
-
In: Interactive Theorem Proving 2013 ; https://hal.archives-ouvertes.fr/hal-00785969 ; Interactive Theorem Proving 2013, Jul 2013, Rennes, France. pp.180-196, ⟨10.1007/978-3-642-39634-2_15⟩, 2013Online KonferenzZugriff:
-
2021Online Elektronische RessourceZugriff:
-
In: ITP 2019 - 10th International Conference on Interactive Theorem Proving ; https://inria.hal.science/hal-02303987 ; ITP 2019 - 10th International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.13:1 - 13:19, ⟨10.4230/LIPIcs.ITP.2019.13⟩, 2019Online KonferenzZugriff: