Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 573 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 346 Treffer
- formal proof 193 Treffer
- proof assistant 183 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 179 Treffer
-
45 weitere Werte:
- 02 engineering and technology 169 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 168 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 166 Treffer
- computer science 150 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 142 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 131 Treffer
- 01 natural sciences 131 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 126 Treffer
- type theory 125 Treffer
- 020207 software engineering 111 Treffer
- 0102 computer and information sciences 110 Treffer
- 010201 computation theory & mathematics 110 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 104 Treffer
- computer 96 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 93 Treffer
- computer.software_genre 88 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 86 Treffer
- programming language 86 Treffer
- [info.info-dc]computer science [cs]/distributed 85 Treffer
- [info]computer science [cs] 85 Treffer
- and cluster computing [cs.dc] 85 Treffer
- computer science - logic in computer science 85 Treffer
- parallel 85 Treffer
- fos: computer and information sciences 84 Treffer
- [info.info-lo] computer science [cs]/logic in computer science [cs.lo] 82 Treffer
- logic in computer science (cs.lo) 77 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 75 Treffer
- mathematical proof 75 Treffer
- coq proof assistant 71 Treffer
- mathematics 70 Treffer
- [info.info-es]computer science [cs]/embedded systems 68 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs 66 Treffer
- floating-point arithmetic 66 Treffer
- 020201 artificial intelligence & image processing 64 Treffer
- formal proofs 61 Treffer
- computer science::logic in computer science 59 Treffer
- program verification 57 Treffer
- [math.math-ca]mathematics [math]/classical analysis and odes [math.ca] 56 Treffer
- software 55 Treffer
- formalization 54 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 53 Treffer
- formal verification 51 Treffer
- preuve formelle 51 Treffer
- theoretical computer science 51 Treffer
- methodes formelles 50 Treffer
Verlag
- hal ccsd 1.884 Treffer
- springer 131 Treffer
- springer verlag 105 Treffer
- acm 74 Treffer
- springer international publishing 25 Treffer
-
45 weitere Werte:
- logical methods in computer science association 22 Treffer
- elsevier 21 Treffer
- cambridge university press (cup) 17 Treffer
- springer-verlag 16 Treffer
- springer berlin heidelberg 12 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik 11 Treffer
- arxiv 9 Treffer
- european design and automation association (edaa) \ embedded systems special interest group (emsig) and schloss dagstuhl -- leibniz-zentrum fur informatik gmbh, dagstuhl publishing. 9 Treffer
- ieee 9 Treffer
- springer berlin / heidelberg 9 Treffer
- acm press 8 Treffer
- asdd-almadl 8 Treffer
- institute of electrical and electronics engineers 8 Treffer
- eptcs 7 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 6 Treffer
- springer nature switzerland 6 Treffer
- association for computing machinery 5 Treffer
- open publishing association 5 Treffer
- schloss dagstuhl--leibniz-zentrum fuer informatik 5 Treffer
- association for computing machinery (acm) 4 Treffer
- cnrs editions 4 Treffer
- dmtcs 4 Treffer
- ieee/acm 4 Treffer
- springer science and business media llc 4 Treffer
- world scientific 4 Treffer
- acm, new york, ny, usa 3 Treffer
- discrete mathematics and theoretical computer science 3 Treffer
- electronic notes in theoretical computer science 3 Treffer
- igi global 3 Treffer
- inria 3 Treffer
- leibniz-zentrum fur informatik 3 Treffer
- acm sigplan 2 Treffer
- aircc publishing corporation 2 Treffer
- cambridge university press 2 Treffer
- college publications 2 Treffer
- iste press - elsevier 2 Treffer
- oxford university press (oup) 2 Treffer
- polskie towarzystwo matematyczne 2 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 2 Treffer
- centre pour la communication scientifique directe (ccsd) 1 Treffer
- elsevier b.v. 1 Treffer
- episciences.org 1 Treffer
- published by elsevier b.v. 1 Treffer
- springer netherlands 1 Treffer
- university of bologna 1 Treffer
Publikation
- issn: 0168-7433 75 Treffer
- 7th international conference on networked systems (netys 2019) ; https://hal.science/hal-02115599 ; 7th international conference on networked systems (netys 2019), jun 2019, marrakech, morocco. pp.93-09, ⟨10.1007/978-3-030-31277-0_7⟩ 7 Treffer
- issn: 0960-1295 7 Treffer
- issn: 1432-4350 7 Treffer
- issn: 2199-2002 ; leibniz transactions on embedded systems ; https://hal.science/hal-03901898 ; leibniz transactions on embedded systems, 2022, special issue on distributed hybrid systems, 8 (2), pp.02:1-02:36. ⟨10.4230/lites.8.2.2⟩ 7 Treffer
-
45 weitere Werte:
- issn: 1471-0684 6 Treffer
- issn: 1661-8270 6 Treffer
- algotel 2019 - 21emes rencontres francophones sur les aspects algorithmiques des telecommunications ; https://hal.science/hal-02115611 ; algotel 2019 - 21emes rencontres francophones sur les aspects algorithmiques des telecommunications, jun 2019, saint laurent de la cabrerisse, france. pp.1-4 ; https://www.irit.fr/algotel2019/ 5 Treffer
- algotel 2020 - 22emes rencontres francophones sur les aspects algorithmiques des telecommunications ; https://hal.science/hal-02871295 ; algotel 2020 - 22emes rencontres francophones sur les aspects algorithmiques des telecommunications, sep 2020, lyon, france 5 Treffer
- algotel 2021 - 23emes rencontres francophones sur les aspects algorithmiques des telecommunications ; https://hal.science/hal-03219933 ; algotel 2021 - 23emes rencontres francophones sur les aspects algorithmiques des telecommunications, 2021, la rochelle, france 5 Treffer
- issn: 1012-2443 5 Treffer
- stabilization, safety, and security of distributed systems. sss 2018. ; https://hal.science/hal-01937420 ; stabilization, safety, and security of distributed systems. sss 2018., xavier defago, toshimitsu masuzawa, koichi wada, nov 2018, tokyo, japan. pp.404-408, ⟨10.1007/978-3-030-03232-6_29⟩ 5 Treffer
- electronic proceedings in theoretical computer science 4 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://inria.hal.science/hal-04550762 ; rr-9547, inria. 2024, pp.13 4 Treffer
- issn: 1462-7264 4 Treffer
- lics 2012 : logic in computer science ; https://hal.science/hal-00685150 ; lics 2012 : logic in computer science, jun 2012, dubrovnik, croatia. pp.0-0 4 Treffer
- typed lambda calculi and applications ; https://hal.science/hal-01178301 ; typed lambda calculi and applications, 2015, varsovie, poland. pp.226-240, ⟨10.4230/lipics.tlca.2015.226⟩ 4 Treffer
- 5th ifip international conference on theoretical computer science - tcs 2008 ; https://inria.hal.science/inria-00275382 ; 5th ifip international conference on theoretical computer science - tcs 2008, sep 2008, milan, italy. ⟨10.1007/978-0-387-09680-3_24⟩ 3 Treffer
- guangzhou symposium on satisfiability in logic-based modeling ; https://inria.hal.science/inria-00516906 ; guangzhou symposium on satisfiability in logic-based modeling, yuping shen, institute of logic and cognition sun yat-sen university, guangzhou., sep 2010, zuhai, china 3 Treffer
- https://hal.science/hal-00834633 ; [research report] 1560, lri - cnrs, university paris-sud. 2013 3 Treffer
- https://inria.hal.science/hal-03564379 ; [research report] rr-9457, institut national de recherche en informatique et en automatique (inria). 2023, pp.17 3 Treffer
- https://theses.hal.science/tel-01486550 ; logic in computer science [cs.lo]. ecole des mines de nantes, 2016. english. ⟨nnt : 2016emna0298⟩ 3 Treffer
- ijcar 2020 - international joint conference on automated reasoning ; https://inria.hal.science/hal-02463336 ; ijcar 2020 - international joint conference on automated reasoning, jun 2020, paris, france. pp.1-19 3 Treffer
- issn: 0188-7009 3 Treffer
- issn: 1388-3690 3 Treffer
- issn: 1539-9087 3 Treffer
- issn: 1619-1366 3 Treffer
- journal of automated reasoning 3 Treffer
- proceedings of the acm on programming languages 3 Treffer
- software & systems modeling ; https://inria.hal.science/hal-03656144 ; software & systems modeling, 2022, ⟨10.1007/s10270-022-01004-1⟩ 3 Treffer
- 19th eacsl annual conference on computer science logic ; https://inria.hal.science/inria-00497404 ; 19th eacsl annual conference on computer science logic, aug 2010, brno, czech republic. pp.529--543, ⟨10.1007/978-3-642-15205-4_40⟩ 2 Treffer
- annals of mathematics and artificial intelligence 2 Treffer
- interactive theorem proving ; https://inria.hal.science/hal-00974721 ; interactive theorem proving, jul 2014, vienna, austria 2 Treffer
- issn: 0039-3215 2 Treffer
- issn: 0890-5401 2 Treffer
- issn: 0955-792x 2 Treffer
- issn: 0956-7968 2 Treffer
- issn: 1433-2779 2 Treffer
- logic in computer science (lics 2010) ; https://inria.hal.science/inria-00497794 ; logic in computer science (lics 2010), jul 2010, edimbourg, united kingdom 2 Treffer
- 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⟩ 2 Treffer
- 2008 21st ieee computer security foundations symposium 1 Treffer
- 2013 15th international symposium on symbolic and numeric algorithms for scientific computing 1 Treffer
- acm sigplan notices 1 Treffer
- acm transactions on embedded computing systems 1 Treffer
- computational geometry 1 Treffer
- electronic notes in theoretical computer science 1 Treffer
- logical methods in computer science 1 Treffer
- proceedings of the joint meeting of the twenty-third eacsl annual conference on computer science logic (csl) and the twenty-ninth annual acm/ieee symposium on logic in computer science (lics) 1 Treffer
- theory of computing systems 1 Treffer
Sprache
Geographischer Bezug
1.987 Treffer
-
In: ISSN: 1661-8270, 2015Online academicJournalZugriff:
-
In: 24th Annual ACM Symposium on Applied Computing ; https://hal.inria.fr/inria-00335719 ; 24th Annual ACM Symposium on Applied Computing, Xiao-Shan Gao, Robert Joan-Arinyo, Dominique Michelucci, Mar 2009, Honolulu, United States. pp.1110-1115, ⟨10.1145/1529282.1529527⟩, 2009Online KonferenzZugriff:
-
In: Interactive Theorem Proving 2013 ; https://hal.science/hal-00785969 ; Interactive Theorem Proving 2013, Jul 2013, Rennes, France. pp.180-196, ⟨10.1007/978-3-642-39634-2_15⟩, 2013Online KonferenzZugriff:
-
In: Interactive Theorem Proving ; Interactive Theorem Proving, 4th international conference ; https://hal.science/hal-00816672, 2013Online KonferenzZugriff:
-
In: https://inria.hal.science/hal-03105815 ; [Research Report] RR-9386, Inria Paris. 2021, pp.567, 2021Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-03404668 ; 2021, 2021Online reportZugriff:
-
In: ITP 2018: Interactive Theorem Proving ; ITP 2018 - International Conference on Interactive Theorem Proving ; https://hal.archives-ouvertes.fr/hal-01716048 ; ITP 2018 - International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.88-107, ⟨10.1007/978-3-319-94821-8_6⟩, 2018Online KonferenzZugriff:
-
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: International Conference on Interactive Theorem Proving ; https://hal.inria.fr/hal-01966714 ; International Conference on Interactive Theorem Proving, Jul 2013, Rennes, France. pp.16, 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: The Third Coq Workshop (Coq'3) ; https://hal.archives-ouvertes.fr/hal-00648397 ; The Third Coq Workshop (Coq'3), Aug 2011, Nijmegen, Netherlands, 2011Online KonferenzZugriff:
-
In: JFLA 2019 - Journées Francophones des Langages Applicatifs ; https://hal.science/hal-02369249 ; JFLA 2019 - Journées Francophones des Langages Applicatifs, Jan 2019, Les Rousses, France, 2019Online KonferenzZugriff: