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: 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: POPL 2023 - 50th ACM SIGPLAN Symposium on Principles of Programming Languages ; https://hal.archives-ouvertes.fr/hal-03857705 ; POPL 2023 - 50th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2023, Boston, United States. ⟨10.1145/3571739⟩, 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:
-
In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’22) ; 11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2022) ; https://hal.science/hal-03475481, 2022Online KonferenzZugriff:
-
In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’22) ; 11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2022) ; https://hal.science/hal-03475481, 2022Online KonferenzZugriff:
-
In: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CCP'22) ; https://inria.hal.science/hal-03143359 ; 11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CCP'22), Jan 2022, Philadelphia, PA, United States. ⟨10.1145/3497775.3503683⟩ ; https://popl22.sigplan.org/home/CPP-2022, 2022Online KonferenzZugriff:
-
In: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’22) ; https://inria.hal.science/hal-03143359 ; 11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’22), Jan 2022, Philadelphia, PA, United States. ⟨10.1145/3497775.3503683⟩ ; https://popl22.sigplan.org/home/CPP-2022, 2022Online KonferenzZugriff:
-
In: 33rd International Conference on Computer-Aided Verification (CAV 2021) ; https://hal.science/hal-03243129 ; 33rd International Conference on Computer-Aided Verification (CAV 2021), Jul 2021, Los Angeles (Online), United States ; http://i-cav.org/2021/accepted-papers/, 2021Online KonferenzZugriff:
-
In: Proceedings of the 6th Workshop on Formal Integrated Development Environment ; https://inria.hal.science/hal-03168208 ; Proceedings of the 6th Workshop on Formal Integrated Development Environment, May 2021, Online, United States. pp.39-45, ⟨10.4204/EPTCS.338.6⟩ ; https://cister-labs.pt/f-ide2021/, 2021Online KonferenzZugriff:
-
In: 33rd International Conference on Computer-Aided Verification (CAV 2021) ; https://hal.science/hal-03243129 ; 33rd International Conference on Computer-Aided Verification (CAV 2021), Jul 2021, Los Angeles (Online), United States ; http://i-cav.org/2021/accepted-papers/, 2021Online KonferenzZugriff:
-
In: Proceedings of the 6th Workshop on Formal Integrated Development Environment ; https://hal.inria.fr/hal-03168208 ; Proceedings of the 6th Workshop on Formal Integrated Development Environment, May 2021, Online, United States. pp.39-45, ⟨10.4204/EPTCS.338.6⟩ ; https://cister-labs.pt/f-ide2021/, 2021Online KonferenzZugriff:
-
In: 33rd International Conference on Computer-Aided Verification (CAV 2021) ; https://hal.archives-ouvertes.fr/hal-03243129 ; 33rd International Conference on Computer-Aided Verification (CAV 2021), Jul 2021, Los Angeles (Online), United States ; http://i-cav.org/2021/accepted-papers/, 2021Online KonferenzZugriff:
-
In: Proceedings of the 6th Workshop on Formal Integrated Development Environment ; https://inria.hal.science/hal-03168208 ; Proceedings of the 6th Workshop on Formal Integrated Development Environment, May 2021, Online, United States. pp.39-45, ⟨10.4204/EPTCS.338.6⟩ ; https://cister-labs.pt/f-ide2021/, 2021Online KonferenzZugriff:
-
In: POPL ; https://hal.science/hal-02351793 ; POPL, Jan 2020, New Orleans, United States. ⟨10.1145/3371101⟩ ; https://popl20.sigplan.org/, 2020Online KonferenzZugriff:
-
In: POPL ; https://hal.archives-ouvertes.fr/hal-02351793 ; POPL, Jan 2020, New Orleans, United States. ⟨10.1145/3371101⟩ ; https://popl20.sigplan.org/, 2020Online KonferenzZugriff:
-
In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs ; CPP 2023 - 12th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-04368266 ; CPP 2023 - 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2023, Boston, United States. pp.17-29, ⟨10.1145/3573105.3575678⟩, 2023KonferenzZugriff:
-
In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs ; CPP 2023 - 12th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-04368266 ; CPP 2023 - 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2023, Boston, United States. pp.17-29, ⟨10.1145/3573105.3575678⟩, 2023KonferenzZugriff: