Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- lang 40 Treffer
- edu 33 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 32 Treffer
- coq 26 Treffer
- hist 21 Treffer
-
45 weitere Werte:
- [phys.phys.phys-ins-det]physics [physics]/physics [physics]/instrumentation and detectors [physics.ins-det] 17 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 14 Treffer
- socio 14 Treffer
- [phys.hexp]physics [physics]/high energy physics - experiment [hep-ex] 12 Treffer
- info 11 Treffer
- psy 11 Treffer
- separation logic 10 Treffer
- stat 9 Treffer
- type theory 9 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 7 Treffer
- modal logic 6 Treffer
- proof assistant 6 Treffer
- [phys.phys.phys-acc-ph]physics [physics]/physics [physics]/accelerator physics [physics.acc-ph] 5 Treffer
- anthro-se 5 Treffer
- automated theorem proving 5 Treffer
- calice 5 Treffer
- data processing computer science 5 Treffer
- electromagnetic calorimeter 5 Treffer
- higher-order logic 5 Treffer
- ilc 5 Treffer
- iris 5 Treffer
- logic 5 Treffer
- logical frameworks 5 Treffer
- rewriting 5 Treffer
- silicon detector 5 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 4 Treffer
- electron reconstruction 4 Treffer
- electronic computers. computer science 4 Treffer
- formal verification 4 Treffer
- interactive theorem proving 4 Treffer
- qa75.5-76.95 4 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 3 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 3 Treffer
- [info]computer science [cs] 3 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.4: mechanical theorem proving 3 Treffer
- archi 3 Treffer
- assistant de preuve 3 Treffer
- automated reasoning 3 Treffer
- bc1-199 3 Treffer
- ccs concepts: • theory of computation → functional constructs 3 Treffer
- ccs concepts: • theory of computation → type theory 3 Treffer
- constructive mathematics 3 Treffer
- eco 3 Treffer
- efects 3 Treffer
- exceptions 3 Treffer
Verlag
- hal ccsd 77 Treffer
- iop publishing 12 Treffer
- acm 8 Treffer
- elsevier 6 Treffer
- association for computing machinery 5 Treffer
-
45 weitere Werte:
- springer 5 Treffer
- logical methods in computer science e.v. 3 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik 3 Treffer
- springer verlag 3 Treffer
- universite d'ottawa / university of ottawa 2 Treffer
- american institute of physics 1 Treffer
- arxiv 1 Treffer
- association for computing machinery (acm) 1 Treffer
- association for computing machinery, inc 1 Treffer
- babes-bolyai university, cluj-napoca 1 Treffer
- boston college 1 Treffer
- brock university 1 Treffer
- c.h.beck 1 Treffer
- ceur workshop proceedings 1 Treffer
- cirad 1 Treffer
- cuny academic works 1 Treffer
- dalhousie university 1 Treffer
- department of classics. university of illinois at urbana-champaign. 1 Treffer
- department of computer science, ku leuven 1 Treffer
- department of modern european languages, nnamdi azikiwe university, awka, anambra state, nigeria 1 Treffer
- dictynna 1 Treffer
- gallus 1 Treffer
- hindawi limited 1 Treffer
- institute of computer science, polish academy of sciences 1 Treffer
- iowa state university digital repository 1 Treffer
- leuven, belgium 1 Treffer
- lipics - leibniz international proceedings in informatics. 24th eacsl annual conference on computer science logic (csl 2015) 1 Treffer
- lipics - leibniz international proceedings in informatics. 6th international conference on formal structures for computation and deduction (fscd 2021) 1 Treffer
- lipics - leibniz international proceedings in informatics. computer science logic 2013 (csl 2013) 1 Treffer
- mdpi ag 1 Treffer
- multidisciplinary digital publishing institute 1 Treffer
- nature portfolio 1 Treffer
- nature publishing group 1 Treffer
- nature research 1 Treffer
- open publishing association 1 Treffer
- polska akademia nauk. instytut historii im. tadeusza manteuffla pan w warszawie 1 Treffer
- public library of science 1 Treffer
- public library of science (plos) 1 Treffer
- springer berlin / heidelberg 1 Treffer
- szkola glowna gospodarstwa wiejskiego w warszawie. wydawnictwo szkoly glownej gospodarstwa wiejskiego w warszawie 1 Treffer
- the university of st andrews 1 Treffer
- universite de lausanne, faculte de biologie et medecine 1 Treffer
- universite de lille 1 Treffer
- university of bologna 1 Treffer
- university of cambridge, computer laboratory 1 Treffer
Publikation
- arxiv 26 Treffer
- theses.fr 15 Treffer
- issn: 1748-0221 ; journal of instrumentation ; https://hal.in2p3.fr/in2p3-00464391 ; journal of instrumentation, 2010, 5, pp.p05004. ⟨10.1088/1748-0221/5/05/p05004⟩ 6 Treffer
- issn: 1748-0221 ; journal of instrumentation ; https://hal.in2p3.fr/in2p3-00984214 ; journal of instrumentation, 2014, 9, pp.p07022. ⟨10.1088/1748-0221/9/07/p07022⟩ 6 Treffer
- issn: 0168-9002 ; eissn: 1872-9576 5 Treffer
-
16 weitere Werte:
- $2 2 Treffer
- ideals 2 Treffer
- issn: 0168-7433 2 Treffer
- acta didactica napocensia 1 Treffer
- acta poloniae historica; 2015, 112 ; 0001-6829 1 Treffer
- archive ouverte d'inrae ; 2018 1 Treffer
- c.h.beck 1 Treffer
- dissertations, theses, and capstone projects 1 Treffer
- geological and atmospheric sciences publications 1 Treffer
- hyper article en ligne - sciences de l'homme et de la societe ; 2020 1 Treffer
- issn: 0034-6748 1 Treffer
- issn: 2041-1723 1 Treffer
- journal of formalized reasoning 1 Treffer
- repositorio institucional de la universitat politecnica de valencia 1 Treffer
- serveur academique lausannois 1 Treffer
- zeszyty naukowe szkoly glownej gospodarstwa wiejskiego w warszawie. problemy rolnictwa swiatowego; 2012, 12[27], 3 ; 2081-6960 1 Treffer
Geographischer Bezug
173 Treffer
-
In: Proceedings of the 25th International Symposium on Formal Methods ; 25th International Symposium on Formal Methods (FM 2023) ; https://hal.inria.fr/hal-03889276 ; 25th International Symposium on Formal Methods (FM 2023), Mar 2023, Lübeck, Germany. pp.39--55, ⟨10.1007/978-3-031-27481-7_4⟩ ; https://fm2023.isp.uni-luebeck.de/, 2023Online KonferenzZugriff:
-
In: Mathematics, Vol 11, Iss 2504, p 2504 (2023, 2023academicJournalZugriff:
-
2021KonferenzZugriff:
-
In: 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021) ; https://inria.hal.science/hal-03280264 ; 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), Jul 2021, Buenos Aires, Argentina. ⟨10.4230/LIPIcs.FSCD.2021.18⟩, 2021Online KonferenzZugriff:
-
In: CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic ; https://inria.hal.science/hal-03901942 ; CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic, Feb 2023, Warsaw, Poland. pp.1-21, ⟨10.4230/LIPIcs.CSL.2023.16⟩, 2023Online KonferenzZugriff:
-
2023Online Elektronische RessourceZugriff:
-
In: Logical Methods in Computer Science, Vol Volume 18, Issue 2 (2022, 2022academicJournalZugriff:
-
2016KonferenzZugriff:
-
In: Frumin , D 2022 ' Semantic Cut Elimination for the Logic of Bunched Implications, Formalized in Coq ' arXiv, 2022Online academicJournalZugriff:
-
In: LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019 ; https://hal.archives-ouvertes.fr/hal-02152406 ; LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019, Jun 2019, Vancouver, Canada, 2019Online academicJournalZugriff:
-
In: Journal of Modern European Languages And Literatures; Vol. 6 (2016); 72-94, 2020academicJournalZugriff:
-
In: ITP 2018 - 9th International Conference on Interactive Theorem Proving ; https://hal.inria.fr/hal-01703524 ; ITP 2018 - 9th International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.459-476, ⟨10.1007/978-3-319-94821-8_27⟩, 2018Online KonferenzZugriff:
-
In: FM 2018 - 22nd International Symposium on Formal Methods ; https://hal.inria.fr/hal-01799712 ; FM 2018 - 22nd International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. pp.338-354, ⟨10.1007/978-3-319-95582-7_20⟩, 2018Online KonferenzZugriff:
-
In: CPP 2023 - Certified Programs and Proofs ; https://inria.hal.science/hal-03901019 ; CPP 2023 - Certified Programs and Proofs, Jan 2023, Boston, United States. pp.1-15, ⟨10.1145/3573105.3575676⟩, 2023Online KonferenzZugriff:
-
In: CPP 2023 - 12th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-03891390 ; CPP 2023 - 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2023, Boston, United States. pp.1-8, ⟨10.1145/3573105.3575690⟩, 2023Online KonferenzZugriff:
-
2018Online HochschulschriftZugriff:
-
2016Online academicJournalZugriff:
-
In: Second Coq Workshop ; https://hal.inria.fr/inria-00489496 ; Second Coq Workshop, Yves Bertot, Jul 2010, Edinburgh, United Kingdom, 2010Online KonferenzZugriff:
-
In: ISSN: 0168-7433, 2023Online academicJournalZugriff: