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] 59 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 22 Treffer
- [info]computer science [cs] 17 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 11 Treffer
- formal proofs 8 Treffer
-
45 weitere Werte:
- interactive theorem proving 8 Treffer
- rewriting 8 Treffer
- type theory 8 Treffer
- [info.info-na]computer science [cs]/numerical analysis [cs.na] 7 Treffer
- [math]mathematics [math] 7 Treffer
- approximation theory 7 Treffer
- chebyshev polynomials 7 Treffer
- formal proof 7 Treffer
- formal verification 7 Treffer
- interval arithmetic 7 Treffer
- dependent type theory 6 Treffer
- effects 6 Treffer
- forcing 6 Treffer
- geometry 6 Treffer
- inductive types 6 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 5 Treffer
- [info.info-es]computer science [cs]/embedded systems 5 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 5 Treffer
- algebra 5 Treffer
- arithmetic 5 Treffer
- automated reasoning 5 Treffer
- calculus of inductive constructions 5 Treffer
- graphs 5 Treffer
- pre-processing 5 Treffer
- proof assistant 5 Treffer
- treewidth 5 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 4 Treffer
- abstract machine 4 Treffer
- area method 4 Treffer
- banach fixed-point theorem 4 Treffer
- calculus of constructions 4 Treffer
- compilers 4 Treffer
- computable analysis 4 Treffer
- discontinuity 4 Treffer
- higher order logic 4 Treffer
- non-interference 4 Treffer
- normalization by evaluation 4 Treffer
- virtual machine 4 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 3 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 3 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 3 Treffer
- apache spark 3 Treffer
- balls 3 Treffer
- certification 3 Treffer
- closed choice on the natura 3 Treffer
Verlag
Publikation
- 10th international conference on interactive theorem proving (itp 2019) ; itp 2019 - tenth international conference on interactive theorem proving ; https://hal.science/hal-02426470 ; itp 2019 - tenth international conference on interactive theorem proving, sep 2019, portland, united states. ⟨10.4230/lipics.itp.2019.28⟩ 3 Treffer
- logics in computer science ; https://hal.science/hal-01319066 ; logics in computer science, may 2016, new york, united states. ⟨10.1145/http://dx.doi.org/10.1145/2933575.2935320⟩ 2 Treffer
Sprache
Geographischer Bezug
96 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: 13th NASA Formal Methods Symposium (NFM 2021) ; https://hal.science/hal-03176024 ; 13th NASA Formal Methods Symposium (NFM 2021), May 2021, virtual, United States, 2021Online KonferenzZugriff:
-
In: 13th NASA Formal Methods Symposium (NFM 2021) ; https://hal.archives-ouvertes.fr/hal-03176024 ; 13th NASA Formal Methods Symposium (NFM 2021), May 2021, virtual, United States, 2021Online KonferenzZugriff:
-
In: CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-02422273 ; CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, Nouvelle-Orléans, United States. pp.1-15, ⟨10.1145/3372885.3373812⟩, 2020Online KonferenzZugriff:
-
In: CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.inria.fr/hal-02422273 ; CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, Nouvelle-Orléans, United States. pp.1-15, ⟨10.1145/3372885.3373812⟩, 2020Online 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: Workshop on Formal Techniques for Java-like Programs (FTfJP) ; https://inria.hal.science/hal-04142453 ; Workshop on Formal Techniques for Java-like Programs (FTfJP), Jul 2023, Seatle, WA, United States. ⟨10.1145/3605156.3606450⟩, 2023KonferenzZugriff:
-
In: Workshop on Formal Techniques for Java-like Programs (FTfJP) ; https://inria.hal.science/hal-04142453 ; Workshop on Formal Techniques for Java-like Programs (FTfJP), Jul 2023, Seatle, WA, United States. ⟨10.1145/3605156.3606450⟩, 2023KonferenzZugriff:
-
In: Workshop on Formal Techniques for Java-like Programs (FTfJP) ; https://inria.hal.science/hal-04142453 ; Workshop on Formal Techniques for Java-like Programs (FTfJP), Jul 2023, Seatle, WA, United States. ⟨10.1145/3605156.3606450⟩, 2023KonferenzZugriff:
-
In: RTSS 2018 - 39th IEEE Real-Time Systems Symposium ; https://inria.hal.science/hal-01903752 ; RTSS 2018 - 39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States. pp.1-12, 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: RTSS 2018 - 39th IEEE Real-Time Systems Symposium ; https://hal.inria.fr/hal-01903752 ; RTSS 2018 - 39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States. pp.1-12, 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: