Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 59 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 32 Treffer
- formal proof 16 Treffer
- rewriting 13 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 11 Treffer
-
45 weitere Werte:
- program verification 11 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 10 Treffer
- type theory 10 Treffer
- interactive theorem proving 9 Treffer
- termination 8 Treffer
- [info.info-na]computer science [cs]/numerical analysis [cs.na] 7 Treffer
- [info.info-os]computer science [cs]/operating systems [cs.os] 7 Treffer
- approximation theory 7 Treffer
- automated reasoning 7 Treffer
- chebyshev polynomials 7 Treffer
- formal verification 7 Treffer
- interval arithmetic 7 Treffer
- separation logic 7 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 6 Treffer
- dependent type theory 6 Treffer
- effects 6 Treffer
- forcing 6 Treffer
- formal proofs 6 Treffer
- geometry 6 Treffer
- inductive types 6 Treffer
- [info]computer science [cs] 5 Treffer
- [math.math-co]mathematics [math]/combinatorics [math.co] 5 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 5 Treffer
- algebra 5 Treffer
- arithmetic 5 Treffer
- calculus of inductive constructions 5 Treffer
- dependent types 5 Treffer
- formalization 5 Treffer
- graph algorithm 5 Treffer
- graphs 5 Treffer
- mathematical logic 5 Treffer
- phil 5 Treffer
- pre-processing 5 Treffer
- proof assistant 5 Treffer
- rust 5 Treffer
- treewidth 5 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 4 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 4 Treffer
- area method 4 Treffer
- banach fixed-point theorem 4 Treffer
- compilers 4 Treffer
- coq proof assistant 4 Treffer
- floating-point arithmetic 4 Treffer
- higher order logic 4 Treffer
- modal logic 4 Treffer
Verlag
Sprache
Geographischer Bezug
123 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: ITP 2019 - 10th International Conference on Interactive Theorem Proving ; https://inria.hal.science/hal-01897468 ; ITP 2019 - 10th International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. ⟨10.4230/LIPIcs.CVIT.2016.23⟩, 2019Online KonferenzZugriff:
-
In: ITP 2019 - 10th International Conference on Interactive Theorem Proving ; https://hal.inria.fr/hal-01897468 ; ITP 2019 - 10th International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. ⟨10.4230/LIPIcs.CVIT.2016.23⟩, 2019Online KonferenzZugriff:
-
In: CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.science/hal-02333553 ; CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, New Orleans, 2020Online KonferenzZugriff:
-
In: CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.science/hal-02333553 ; CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, New Orleans, 2020Online KonferenzZugriff:
-
In: CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.science/hal-02333553 ; CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, New Orleans, 2020Online KonferenzZugriff:
-
In: CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.archives-ouvertes.fr/hal-02333553 ; CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, New Orleans, 2020Online KonferenzZugriff:
-
In: CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.science/hal-02333553 ; CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, New Orleans, 2020Online KonferenzZugriff:
-
In: CPP 2018 - 7th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-01639819 ; CPP 2018 - 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.1-14, ⟨10.1145/3167101⟩ ; https://popl18.sigplan.org/track/CPP-2018, 2018Online KonferenzZugriff:
-
In: CPP 2018 - 7th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.inria.fr/hal-01639819 ; CPP 2018 - 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.1-14, ⟨10.1145/3167101⟩ ; https://popl18.sigplan.org/track/CPP-2018, 2018Online KonferenzZugriff:
-
In: CPP 2018 - 7th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-01639819 ; CPP 2018 - 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.1-14, ⟨10.1145/3167101⟩ ; https://popl18.sigplan.org/track/CPP-2018, 2018Online KonferenzZugriff:
-
In: ISSN: 2075-2180 ; Electronic Proceedings in Theoretical Computer Science ; Seventh Workshop on Proof Exchange in Theorem Proving ; https://hal.science/hal-03328935 ; Seventh Workshop on Proof Exchange in Theorem Proving, Jul 2021, Pittsburgh, United States. ⟨10.4204/EPTCS.336.3⟩, 2021Online KonferenzZugriff:
-
In: CoqPL 2020 The Sixth International Workshop on Coq for Programming Languages ; https://hal.science/hal-02944217 ; CoqPL 2020 The Sixth International Workshop on Coq for Programming Languages, Jan 2020, New Orleans, United States. ⟨10.1017/S0960129597002302⟩, 2020Online KonferenzZugriff:
-
In: CoqPL 2020 The Sixth International Workshop on Coq for Programming Languages ; https://hal.archives-ouvertes.fr/hal-02944217 ; CoqPL 2020 The Sixth International Workshop on Coq for Programming Languages, Jan 2020, New Orleans, United States. ⟨10.1017/S0960129597002302⟩, 2020Online KonferenzZugriff:
-
In: Conference on Intelligent Computer Mathematics ; https://hal.science/hal-01152588 ; Conference on Intelligent Computer Mathematics, 2015, Washington, D.C., United States, 2015Online KonferenzZugriff:
-
In: Conference on Intelligent Computer Mathematics ; https://hal.archives-ouvertes.fr/hal-01152588 ; Conference on Intelligent Computer Mathematics, 2015, Washington, D.C., United States, 2015Online KonferenzZugriff:
-
In: 24th Annual ACM Symposium on Applied Computing ; https://hal.inria.fr/inria-00335719 ; 24th Annual ACM Symposium on Applied Computing, Xiao-Shan Gao, Robert Joan-Arinyo, Dominique Michelucci, Mar 2009, Honolulu, United States. pp.1110-1115, ⟨10.1145/1529282.1529527⟩, 2009Online KonferenzZugriff:
-
In: 24th Annual ACM Symposium on Applied Computing ; https://inria.hal.science/inria-00335719 ; 24th Annual ACM Symposium on Applied Computing, Xiao-Shan Gao, Robert Joan-Arinyo, Dominique Michelucci, Mar 2009, Honolulu, United States. pp.1110-1115, ⟨10.1145/1529282.1529527⟩, 2009Online KonferenzZugriff:
-
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: