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 15 Treffer
- rewriting 13 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 11 Treffer
-
45 weitere Werte:
- program verification 11 Treffer
- type theory 11 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 10 Treffer
- interactive theorem proving 10 Treffer
- automated reasoning 8 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
- 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
- arithmetic 6 Treffer
- dependent type theory 6 Treffer
- effects 6 Treffer
- forcing 6 Treffer
- formal proofs 6 Treffer
- geometry 6 Treffer
- pre-processing 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
- calculus of inductive constructions 5 Treffer
- dependent types 5 Treffer
- formalization 5 Treffer
- graph algorithm 5 Treffer
- graphs 5 Treffer
- inductive types 5 Treffer
- mathematical logic 5 Treffer
- phil 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: ITP 2019 - Tenth International Conference on Interactive Theorem Proving ; https://laas.hal.science/hal-02088529 ; ITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩, 2019Online KonferenzZugriff:
-
In: ITP 2019 - Tenth International Conference on Interactive Theorem Proving ; https://laas.hal.science/hal-02088529 ; ITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩, 2019Online KonferenzZugriff:
-
In: ITP 2019 - Tenth International Conference on Interactive Theorem Proving ; https://hal.laas.fr/hal-02088529 ; ITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩, 2019Online KonferenzZugriff:
-
In: ITP 2019 - Tenth International Conference on Interactive Theorem Proving ; https://hal.laas.fr/hal-02088529 ; ITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩, 2019Online KonferenzZugriff:
-
In: ITP 2019 - Tenth International Conference on Interactive Theorem Proving ; https://laas.hal.science/hal-02088529 ; ITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩, 2019Online KonferenzZugriff:
-
In: 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⟩, 2016Online KonferenzZugriff:
-
In: 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⟩, 2016Online KonferenzZugriff:
-
In: 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⟩, 2016Online KonferenzZugriff:
-
In: 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⟩, 2016Online KonferenzZugriff:
-
In: 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⟩, 2016Online KonferenzZugriff:
-
In: Seventh and Eighth International Workshop on Numerical Software Verification ; https://inria.hal.science/hal-01148409 ; Seventh and Eighth International Workshop on Numerical Software Verification, Apr 2015, Seattle, WA, United States. pp.50--55 ; http://nsv2015.informatik.uni-freiburg.de/, 2015Online KonferenzZugriff:
-
In: Seventh and Eighth International Workshop on Numerical Software Verification ; https://hal.inria.fr/hal-01148409 ; Seventh and Eighth International Workshop on Numerical Software Verification, Apr 2015, Seattle, WA, United States. pp.50--55 ; http://nsv2015.informatik.uni-freiburg.de/, 2015Online KonferenzZugriff:
-
In: Automated Reasoning, Third International Joint Conference, IJCAR 2006 ; https://hal.inria.fr/inria-00001270 ; Automated Reasoning, 2006Online KonferenzZugriff:
-
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: Static analysis ; 20th static analysis symposium (SAS) ; https://hal.archives-ouvertes.fr/hal-00806990 ; 20th static analysis symposium (SAS), Jun 2013, Seattle, Washington, United States. pp.345-365, ⟨10.1007/978-3-642-38856-9_19⟩, 2013Online KonferenzZugriff:
-
In: Static analysis ; 20th static analysis symposium (SAS) ; https://hal.science/hal-00806990 ; 20th static analysis symposium (SAS), Jun 2013, Seattle, Washington, United States. pp.345-365, ⟨10.1007/978-3-642-38856-9_19⟩, 2013Online KonferenzZugriff:
-
In: Static analysis ; 20th static analysis symposium (SAS) ; https://hal.science/hal-00806990 ; 20th static analysis symposium (SAS), Jun 2013, Seattle, Washington, United States. pp.345-365, ⟨10.1007/978-3-642-38856-9_19⟩, 2013Online KonferenzZugriff:
-
In: Certified Programs and Proofs ; https://inria.hal.science/hal-01240025 ; Certified Programs and Proofs, Jan 2016, St Petersburg, Florida, United States. pp.12, 2016KonferenzZugriff:
-
In: Certified Programs and Proofs ; https://hal.inria.fr/hal-01240025 ; Certified Programs and Proofs, Jan 2016, St Petersburg, Florida, United States. pp.12, 2016KonferenzZugriff:
-
In: Certified Programs and Proofs ; https://inria.hal.science/hal-01240025 ; Certified Programs and Proofs, Jan 2016, St Petersburg, Florida, United States. pp.12, 2016KonferenzZugriff: