Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 89 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 52 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 31 Treffer
- formal proof 27 Treffer
- [math.math-ca]mathematics [math]/classical analysis and odes [math.ca] 23 Treffer
-
45 weitere Werte:
- [math.math-fa]mathematics [math]/functional analysis [math.fa] 23 Treffer
- measure theory 22 Treffer
- theorie de la mesure 22 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 20 Treffer
- integrale de lebesgue 19 Treffer
- lebesgue integration 19 Treffer
- preuve formelle 18 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs 17 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 16 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 15 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 13 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 13 Treffer
- [info.info-es]computer science [cs]/embedded systems 11 Treffer
- proof assistant 11 Treffer
- proof assistants 11 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 10 Treffer
- [info.info-dc]computer science [cs]/distributed 10 Treffer
- [info.info-gt]computer science [cs]/computer science and game theory [cs.gt] 10 Treffer
- and cluster computing [cs.dc] 10 Treffer
- coq proof assistant 10 Treffer
- formal proofs 10 Treffer
- formalization 10 Treffer
- interactive theorem proving 10 Treffer
- parallel 10 Treffer
- parametricity 10 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 9 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 9 Treffer
- [math.math-ct]mathematics [math]/category theory [math.ct] 9 Treffer
- deductive verification 9 Treffer
- program verification 9 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 8 Treffer
- security 8 Treffer
- watermarking 8 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 7 Treffer
- certification 7 Treffer
- formal methods 7 Treffer
- graph theory 7 Treffer
- probabilistic algorithms 7 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 6 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.2: semantics of programming languages 6 Treffer
- calculus of inductive constructions 6 Treffer
- floating-point arithmetic 6 Treffer
- formal verification 6 Treffer
- gathering 6 Treffer
- impossibility results 6 Treffer
Verlag
Publikation
- https://inria.hal.science/hal-04550762 ; rr-9547, inria. 2024, pp.13 5 Treffer
- https://hal.science/hal-04225130 ; inria sophia antipolis - mediterranee, universite cote d'azur; national institute of advanced industrial science and technology (aist), japan; onera / dtis, universite de toulouse, france. 2023, pp.1-12 4 Treffer
- https://hal.science/hal-00834633 ; [research report] 1560, lri - cnrs, university paris-sud. 2013 3 Treffer
- https://inria.hal.science/hal-03194113 ; [research report] rr-9401, inria, france. 2021, pp.38 3 Treffer
- https://inria.hal.science/inria-00383793 ; [research report] rr-6927, inria. 2009, pp.34 3 Treffer
-
2 weitere Werte:
- https://inria.hal.science/hal-03564379 ; [research report] rr-9457, institut national de recherche en informatique et en automatique (inria). 2023, pp.17 2 Treffer
- dependable software engineering: theories, tools, and applications ; https://inria.hal.science/hal-01241837 ; xuandong li, zhiming liu, wang yi. dependable software engineering: theories, tools, and applications, 9409, springer, pp.315, 2015, lecture notes in computer science, isbn 978-3-319-25942-0. ⟨10.1007/978-3-319-25942-0⟩ 1 Treffer
Sprache
292 Treffer
-
In: https://inria.hal.science/hal-04550762 ; RR-9547, Inria. 2024, pp.13, 2024Online reportZugriff:
-
In: https://inria.hal.science/hal-04550762 ; RR-9547, Inria. 2024, pp.13, 2024Online reportZugriff:
-
In: https://inria.hal.science/hal-04550762 ; RR-9547, Inria. 2024, pp.13, 2024Online reportZugriff:
-
In: https://inria.hal.science/hal-04550762 ; RR-9547, Inria. 2024, pp.13, 2024Online reportZugriff:
-
In: https://inria.hal.science/hal-04550762 ; RR-9547, Inria. 2024, pp.13, 2024Online reportZugriff:
-
In: https://inria.hal.science/hal-04511667 ; 2024, 2024Online reportZugriff:
-
In: https://inria.hal.science/hal-04511667 ; 2024, 2024Online reportZugriff:
-
In: https://inria.hal.science/hal-03564379 ; [Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2023, pp.17, 2023Online reportZugriff:
-
In: https://inria.hal.science/hal-03564379 ; [Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2023, pp.17, 2023Online reportZugriff:
-
In: https://inria.hal.science/hal-03564379 ; [Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2023, pp.17, 2023Online reportZugriff:
-
In: https://inria.hal.science/hal-03564379 ; [Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2023, pp.17, 2023Online reportZugriff:
-
In: https://inria.hal.science/hal-03564379 ; [Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2023, pp.17, 2023Online reportZugriff:
-
In: https://hal.science/hal-04214008 ; 2024, 2024Online reportZugriff:
-
In: https://ut3-toulouseinp.hal.science/hal-03782650 ; 2023, 2023Online reportZugriff:
-
In: https://ut3-toulouseinp.hal.science/hal-03782650 ; 2023, 2023Online reportZugriff:
-
In: https://hal.science/hal-04225130 ; Inria Sophia Antipolis - Méditerranée, Université Côte d'Azur; National Institute of Advanced Industrial Science and Technology (AIST), Japan; ONERA / DTIS, 2023Online reportZugriff:
-
In: https://hal.science/hal-04225130 ; Inria Sophia Antipolis - Méditerranée, Université Côte d'Azur; National Institute of Advanced Industrial Science and Technology (AIST), Japan; ONERA / DTIS, 2023Online reportZugriff:
-
In: https://hal.science/hal-04225130 ; Inria Sophia Antipolis - Méditerranée, Université Côte d'Azur; National Institute of Advanced Industrial Science and Technology (AIST), Japan; ONERA / DTIS, 2023Online reportZugriff:
-
In: https://hal.science/hal-04225130 ; Inria Sophia Antipolis - Méditerranée, Université Côte d'Azur; National Institute of Advanced Industrial Science and Technology (AIST), Japan; ONERA / DTIS, 2023Online reportZugriff:
-
In: https://ut3-toulouseinp.hal.science/hal-03782650 ; 2023, 2023Online reportZugriff: