Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 29 Treffer
- formal proof 23 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 22 Treffer
- proof assistant 15 Treffer
- distributed algorithms 12 Treffer
-
45 weitere Werte:
- graph algorithm 12 Treffer
- [info.info-dc]computer science [cs]/distributed 11 Treffer
- and cluster computing [cs.dc] 11 Treffer
- automated deduction 11 Treffer
- mathematical logic 11 Treffer
- parallel 11 Treffer
- mobile autonomous robots 10 Treffer
- coq proof assistant 9 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 8 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 8 Treffer
- floating-point arithmetic 8 Treffer
- formal methods 7 Treffer
- type theory 7 Treffer
- 02 engineering and technology 6 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 6 Treffer
- computer science 6 Treffer
- methodes formelles 6 Treffer
- correctness 5 Treffer
- fixed-point arithmetic 5 Treffer
- interactive theorem proving 5 Treffer
- modal logic 5 Treffer
- separation logic 5 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 5 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 5 Treffer
- [info]computer science [cs] 4 Treffer
- 01 natural sciences 4 Treffer
- decision procedure 4 Treffer
- hoare logic 4 Treffer
- interval arithmetic 4 Treffer
- kat 4 Treffer
- regular expressions 4 Treffer
- [info.info-db]computer science [cs]/databases [cs.db] 3 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 3 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 3 Treffer
- [math.math-ct]mathematics [math]/category theory [math.ct] 3 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 3 Treffer
- [math.math-pr]mathematics [math]/probability [math.pr] 3 Treffer
- 0102 computer and information sciences 3 Treffer
- 010201 computation theory & mathematics 3 Treffer
- 020207 software engineering 3 Treffer
- ccc 3 Treffer
- computer science::logic in computer science 3 Treffer
- denotational semantics 3 Treffer
- haskell 3 Treffer
- integration theory 3 Treffer
Verlag
Sprache
Geographischer Bezug
57 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:
-
2021Online unknownZugriff:
-
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: 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:
-
In: Proceedings of the 20th IEEE Symposium on Computer Arithmetic ; https://inria.hal.science/inria-00534854 ; Proceedings of the 20th IEEE Symposium on Computer Arithmetic, Jul 2011, Tübingen, Germany. pp.243-252, ⟨10.1109/ARITH.2011.40⟩, 2011Online KonferenzZugriff:
-
In: 24th International Conference on Types for Proofs and Programs (TYPES 2018; (2019)Online BuchZugriff:
-
In: https://theses.hal.science/tel-01534575 ; Logique en informatique [cs.LO]. Université Paris Saclay (COmUE), 2016. Français. ⟨NNT : 2016SACLS525⟩, 2016Online HochschulschriftZugriff:
-
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:
-
In: https://hal.science/hal-01558252 ; 2017, 2017Online reportZugriff:
-
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:
-
2017Online unknownZugriff: