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] 16 Treffer
- coq 7 Treffer
- graph algorithm 5 Treffer
- mathematical logic 5 Treffer
- program verification 5 Treffer
-
18 weitere Werte:
- [info.info-ao]computer science [cs]/computer arithmetic 4 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 4 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 4 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 4 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 4 Treffer
- area method 4 Treffer
- floating-point arithmetic 4 Treffer
- geometry 4 Treffer
- optimization 4 Treffer
- risc-v 4 Treffer
- symbolic execution 4 Treffer
- floating-point 3 Treffer
- square 3 Treffer
- translation validation 3 Treffer
- verified compilation 3 Treffer
- radix 2 Treffer
- square root 2 Treffer
- strength-reduction 2 Treffer
Verlag
Sprache
Geographischer Bezug
20 Treffer
-
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: 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: 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: 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: ITP 2019 - 10th International Conference on Interactive Theorem Proving ; https://hal.inria.fr/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: Lecture Notes In Computer Science ; Theorem Proving in Higher Order Logics 2004 ; https://inria.hal.science/inria-00001035 ; Theorem Proving in Higher Order Logics 2004, Jul 2004, Park City, USA, United States. pp.225-240, ⟨10.1007/b100400⟩, 2004Online KonferenzZugriff:
-
In: Lecture Notes In Computer Science ; Theorem Proving in Higher Order Logics 2004 ; https://inria.hal.science/inria-00001035 ; Theorem Proving in Higher Order Logics 2004, Jul 2004, Park City, USA, United States. pp.225-240, ⟨10.1007/b100400⟩, 2004Online KonferenzZugriff:
-
In: Lecture Notes In Computer Science ; Theorem Proving in Higher Order Logics 2004 ; https://inria.hal.science/inria-00001035 ; Theorem Proving in Higher Order Logics 2004, Jul 2004, Park City, USA, United States. pp.225-240, ⟨10.1007/b100400⟩, 2004Online KonferenzZugriff:
-
In: Lecture Notes In Computer Science ; Theorem Proving in Higher Order Logics 2004 ; https://hal.inria.fr/inria-00001035 ; Theorem Proving in Higher Order Logics 2004, Jul 2004, Park City, USA, United States. pp.225-240, ⟨10.1007/b100400⟩, 2004Online 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: 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: Proceedings of the 18th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems (ICOOOLPS '23) ; ICOOOLPS '23: 18th ACM International Workshop on Implementation, 2023Online KonferenzZugriff:
-
In: Proceedings of the 18th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems (ICOOOLPS '23) ; ICOOOLPS '23: 18th ACM International Workshop on Implementation, 2023Online KonferenzZugriff:
-
In: Proceedings of the 18th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems (ICOOOLPS '23) ; ICOOOLPS '23: 18th ACM International Workshop on Implementation, 2023Online KonferenzZugriff:
-
In: Proceedings of the 18th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems (ICOOOLPS '23) ; ICOOOLPS '23: 18th ACM International Workshop on Implementation, 2023Online KonferenzZugriff:
-
In: Arith - 21st IEEE Symposium on Computer Arithmetic ; https://inria.hal.science/hal-00743090 ; Arith - 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, United States. pp.107-115, 2013Online KonferenzZugriff:
-
In: Arith - 21st IEEE Symposium on Computer Arithmetic ; https://inria.hal.science/hal-00743090 ; Arith - 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, United States. pp.107-115, 2013Online KonferenzZugriff:
-
In: Arith - 21st IEEE Symposium on Computer Arithmetic ; https://hal.inria.fr/hal-00743090 ; Arith - 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, United States. pp.107-115, 2013Online KonferenzZugriff:
-
In: Arith - 21st IEEE Symposium on Computer Arithmetic ; https://inria.hal.science/hal-00743090 ; Arith - 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, United States. pp.107-115, 2013Online KonferenzZugriff: