Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 52 Treffer
- [info.info-dc]computer science [cs]/distributed 34 Treffer
- and cluster computing [cs.dc] 34 Treffer
- methodes formelles 34 Treffer
- parallel 34 Treffer
-
45 weitere Werte:
- essaims de robots mobiles 32 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 30 Treffer
- assistant de preuve 24 Treffer
- espace euclidien 22 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 20 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 15 Treffer
- preuve formelle 15 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 14 Treffer
- [info]computer science [cs] 13 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.3: formal methods 13 Treffer
- [info.info-es]computer science [cs]/embedded systems 12 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 12 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.4: distributed systems 12 Treffer
- connexion 12 Treffer
- graphe 12 Treffer
- pactole 11 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 10 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 10 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 9 Treffer
- dependent type theory 9 Treffer
- [math.math-gr]mathematics [math]/group theory [math.gr] 7 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 7 Treffer
- packed classes 7 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 6 Treffer
- [math.math-ra]mathematics [math]/rings and algebras [math.ra] 6 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 6 Treffer
- assistant a la preuve 6 Treffer
- dependent types 6 Treffer
- galois theory 6 Treffer
- asychronous 5 Treffer
- coq proof assistant 5 Treffer
- formal proof 5 Treffer
- formal proofs 5 Treffer
- formalization of mathematics 5 Treffer
- proof assistant 5 Treffer
- [info.info-ar]computer science [cs]/hardware architecture [cs.ar] 4 Treffer
- [math.math-fa]mathematics [math]/functional analysis [math.fa] 4 Treffer
- [math.math-na]mathematics [math]/numerical analysis [math.na] 4 Treffer
- acm: d.: software/d.2: software engineering/d.2.1: requirements/specifications 4 Treffer
- acm: g.: mathematics of computing/g.1: numerical analysis/g.1.6: optimization 4 Treffer
- analyse fonctionnelle 4 Treffer
- calculus of inductive constructions 4 Treffer
- cholesky decomposition 4 Treffer
- denotational semantics 4 Treffer
- finite element method 4 Treffer
Verlag
Publikation
- algotel 2019 - 21emes rencontres francophones sur les aspects algorithmiques des telecommunications ; https://hal.science/hal-02115611 ; algotel 2019 - 21emes rencontres francophones sur les aspects algorithmiques des telecommunications, jun 2019, saint laurent de la cabrerisse, france. pp.1-4 ; https://www.irit.fr/algotel2019/ 5 Treffer
- algotel 2020 - 22emes rencontres francophones sur les aspects algorithmiques des telecommunications ; https://hal.science/hal-02871295 ; algotel 2020 - 22emes rencontres francophones sur les aspects algorithmiques des telecommunications, sep 2020, lyon, france 5 Treffer
- algotel 2021 - 23emes rencontres francophones sur les aspects algorithmiques des telecommunications ; https://hal.science/hal-03219933 ; algotel 2021 - 23emes rencontres francophones sur les aspects algorithmiques des telecommunications, 2021, la rochelle, france 5 Treffer
- ijcar 2020 - international joint conference on automated reasoning ; https://inria.hal.science/hal-02463336 ; ijcar 2020 - international joint conference on automated reasoning, jun 2020, paris, france. pp.1-19 3 Treffer
- issn: 1462-7264 3 Treffer
-
3 weitere Werte:
- jfla 2014 - journees francophones des langages applicatifs ; https://hal.science/hal-00869230 ; jfla 2014 - journees francophones des langages applicatifs, jan 2014, frejus, france. pp.1-17 3 Treffer
- jfla 2019 - journees francophones des langages applicatifs ; https://hal.science/hal-02369249 ; jfla 2019 - journees francophones des langages applicatifs, jan 2019, les rousses, france 3 Treffer
- types 2022 : 28th international conference on types for proofs and programs ; 28th international conference on types for proofs and programs (types 2022) ; https://hal.science/hal-04245455 ; 28th international conference on types for proofs and programs (types 2022), jun 2022, nantes, france. pp.11:1-11:19, ⟨10.4230/lipics.types.2022.11⟩ 1 Treffer
Sprache
Geographischer Bezug
218 Treffer
-
In: TYPES 2022 : 28th International Conference on Types for Proofs and Programs ; 28th International Conference on Types for Proofs and Programs (TYPES 2022) ; https://hal.science/hal-04245455 ; 28th International Conference on Types for Proofs and Programs (TYPES 2022), Jun 2022, Nantes, France. pp.11:1-11:19, ⟨10.4230/LIPIcs.TYPES.2022.11⟩, 2022Online KonferenzZugriff:
-
In: TYPES 2022 : 28th International Conference on Types for Proofs and Programs ; 28th International Conference on Types for Proofs and Programs (TYPES 2022) ; https://hal.science/hal-04245455 ; 28th International Conference on Types for Proofs and Programs (TYPES 2022), Jun 2022, Nantes, France. pp.11:1-11:19, ⟨10.4230/LIPIcs.TYPES.2022.11⟩, 2022Online KonferenzZugriff:
-
In: FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction ; https://inria.hal.science/hal-02478907 ; FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction, Jun 2020, Paris, France. pp.34:1--34:21, ⟨10.4230/LIPIcs.FSCD.2020.34⟩, 2020Online KonferenzZugriff:
-
In: FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction ; https://hal.inria.fr/hal-02478907 ; FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction, Jun 2020, Paris, France. pp.34:1--34:21, ⟨10.4230/LIPIcs.FSCD.2020.34⟩, 2020Online KonferenzZugriff:
-
In: FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction ; https://hal.inria.fr/hal-02478907 ; FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction, Jun 2020, Paris, France. pp.34:1--34:21, ⟨10.4230/LIPIcs.FSCD.2020.34⟩, 2020Online KonferenzZugriff:
-
In: Journées Francophones des Langages Applicatifs ; JFLA 2022 - Journées Francophones des Langages Applicatifs ; https://hal.science/hal-03604902 ; JFLA 2022 - Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France ; http://jfla.inria.fr/jfla2022.html, 2022Online KonferenzZugriff:
-
In: Journées Francophones des Langages Applicatifs: JFLA 2022 ; https://hal.science/hal-03404668 ; Journées Francophones des Langages Applicatifs: JFLA 2022, Jun 2022, St-Médard d'Excideuil, France, 2022Online KonferenzZugriff:
-
In: Journées Francophones des Langages Applicatifs: JFLA 2022 ; https://hal.archives-ouvertes.fr/hal-03404668 ; Journées Francophones des Langages Applicatifs: JFLA 2022, Feb 2022, St-Médard d'Excideuil, France, 2022Online KonferenzZugriff:
-
In: Journées Francophones des Langages Applicatifs ; JFLA 2022 - Journées Francophones des Langages Applicatifs ; https://hal.science/hal-03604902 ; JFLA 2022 - Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France ; http://jfla.inria.fr/jfla2022.html, 2022Online KonferenzZugriff:
-
In: RTNS 2022: The 30th International Conference on Real-Time Networks and Systems ; https://hal.science/hal-03702493 ; RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Jun 2022, Paris France, France. pp.140-150, ⟨10.1145/3534879.3534907⟩, 2022KonferenzZugriff:
-
In: Type Theory Based Tools ; https://hal.science/hal-01671994 ; Type Theory Based Tools, Jan 2017, Paris, France, 2017Online KonferenzZugriff:
-
In: Type Theory Based Tools ; https://hal.science/hal-01671994 ; Type Theory Based Tools, Jan 2017, Paris, France, 2017Online KonferenzZugriff:
-
In: 6th ACM SIGPLAN Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-01391578 ; 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Jan 2017, Paris, France. ⟨10.1145/3018610.3018625⟩ ; http://cpp2017.mpi-sws.org/, 2017Online KonferenzZugriff:
-
In: 6th ACM SIGPLAN Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-01391578 ; 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Jan 2017, Paris, France. ⟨10.1145/3018610.3018625⟩ ; http://cpp2017.mpi-sws.org/, 2017Online KonferenzZugriff:
-
In: 6th ACM SIGPLAN Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-01391578 ; 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Jan 2017, Paris, France. ⟨10.1145/3018610.3018625⟩ ; http://cpp2017.mpi-sws.org/, 2017Online KonferenzZugriff:
-
In: 6th ACM SIGPLAN Conference on Certified Programs and Proofs ; https://hal.inria.fr/hal-01391578 ; 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Jan 2017, Paris, France. ⟨10.1145/3018610.3018625⟩ ; http://cpp2017.mpi-sws.org/, 2017Online KonferenzZugriff:
-
In: The Coq Workshop 2020 ; https://inria.hal.science/hal-02890460 ; The Coq Workshop 2020, Jul 2020, virtual, France, 2020Online KonferenzZugriff:
-
In: The Coq Workshop 2020 ; https://hal.inria.fr/hal-02890460 ; The Coq Workshop 2020, Jul 2020, virtual, France, 2020Online KonferenzZugriff:
-
In: The 7th Coq Workshop ; https://hal.science/hal-01169321 ; The 7th Coq Workshop, Jun 2015, Sophia Antipolis, France, 2015Online KonferenzZugriff:
-
In: The 7th Coq Workshop ; https://hal.archives-ouvertes.fr/hal-01169321 ; The 7th Coq Workshop, Jun 2015, Sophia Antipolis, France, 2015Online KonferenzZugriff: