Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-ao]computer science [cs]/computer arithmetic 25 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 18 Treffer
- floating-point arithmetic 18 Treffer
- decision procedure 10 Treffer
- formal proof 10 Treffer
-
45 weitere Werte:
- formal proofs 10 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 9 Treffer
- coq 9 Treffer
- interval arithmetic 9 Treffer
- program verification 9 Treffer
- 01 natural sciences 8 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 7 Treffer
- 02 engineering and technology 7 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 7 Treffer
- fixed-point arithmetic 7 Treffer
- formal methods 7 Treffer
- formal verification 7 Treffer
- proof assistant 7 Treffer
- 0102 computer and information sciences 6 Treffer
- 010201 computation theory & mathematics 6 Treffer
- 020207 software engineering 6 Treffer
- algebra 6 Treffer
- computer science 6 Treffer
- methodes formelles 6 Treffer
- [info.info-lo] computer science [cs]/logic in computer science [cs.lo] 5 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages 5 Treffer
- associativity 5 Treffer
- commutativity 5 Treffer
- computer science::programming languages 5 Treffer
- floating-point 5 Treffer
- fma 5 Treffer
- interactive theorem proving 5 Treffer
- modal logic 5 Treffer
- rewriting 5 Treffer
- separation logic 5 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 5 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 4 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 4 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 4 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 4 Treffer
- [info.info-it]computer science [cs]/information theory [cs.it] 4 Treffer
- [info.info-pf]computer science [cs]/performance [cs.pf] 4 Treffer
- [math.math-ct]mathematics [math]/category theory [math.ct] 4 Treffer
- accurate summation 4 Treffer
- and fault-tolerance 4 Treffer
- computer science::logic in computer science 4 Treffer
- decision procedures 4 Treffer
- deductive verification 4 Treffer
- interpretation abstraite 4 Treffer
- kleene algebra 4 Treffer
Verlag
Publikation
Sprache
Geographischer Bezug
76 Treffer
-
In: Electronic Proceedings in Theoretical Computer Science ; 7th Symposium on Working Formal Methods (FROM 2023) ; https://inria.hal.science/hal-04254872 ; 7th Symposium on Working Formal Methods (FROM 2023), Sep 2023, Bucarest, Romania. pp.96 - 109, ⟨10.4204/eptcs.389.8⟩, 2023Online KonferenzZugriff:
-
In: https://ut3-toulouseinp.hal.science/hal-03782650 ; 2023, 2023Online reportZugriff:
-
In: The 7th Coq Workshop ; https://hal.science/hal-01169321 ; The 7th Coq Workshop, Jun 2015, Sophia Antipolis, France, 2015Online KonferenzZugriff:
-
In: ISSN: 0168-7433, 2016Online academicJournalZugriff:
-
In: https://theses.hal.science/tel-03202580 ; Traitement du signal et de l'image [eess.SP]. Université Paris-Saclay, 2021. Français. ⟨NNT : 2021UPASG016⟩, 2021Online HochschulschriftZugriff:
-
In: ISSN: 1661-8270, 2015Online academicJournalZugriff:
-
In: SYNASC 2013 - 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ; https://inria.hal.science/hal-00845791 ; SYNASC 2013 - 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2013, Timisoara, Romania, 2013Online KonferenzZugriff:
-
In: Tactics for Reasoning Modulo AC in Coq ; Certified Proofs and Programs ; https://hal.science/hal-00484871 ; Certified Proofs and Programs, 2011, Taiwan. pp167-182, ⟨10.1007/978-3-642-25379-9_14⟩, 2011Online KonferenzZugriff:
-
In: Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008 ; https://hal.science/hal-00338973 ; Logic and Theory of Algorithms, 2008Online KonferenzZugriff:
-
In: 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013-09-01Online unknownZugriff:
-
In: https://inria.hal.science/hal-04360660 ; 2023, 2023Online reportZugriff:
-
2011Online unknownZugriff:
-
2008Online unknownZugriff:
-
In: https://inria.hal.science/cel-01130272 ; Master. France. 2015, 2015Online unknownZugriff:
-
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: All about Proofs, Proofs for All ; https://inria.hal.science/hal-01094195 ; Bruno Woltzenlogel Paleo; David Delahaye. All about Proofs, Proofs for All, 55, College Publications, 2015, Studies in Logic (Mathematical logic and foundations), 978-1-84890-166-7 ; http://www.collegepublications.co.uk/logic/mlf/?00023; (2015)Online BuchZugriff: