Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info]computer science [cs] 108 Treffer
- [info.info-gt]computer science [cs]/computer science and game theory [cs.gt] 70 Treffer
- [phys.qphy]physics [physics]/quantum physics [quant-ph] 68 Treffer
- coq 61 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 55 Treffer
-
45 weitere Werte:
- fos: computer and information sciences 51 Treffer
- computer science - logic in computer science 44 Treffer
- logic in computer science (cs.lo) 44 Treffer
- [math.math-gn]mathematics [math]/general topology [math.gn] 42 Treffer
- formal proof 37 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 36 Treffer
- [math.math-ca]mathematics [math]/classical analysis and odes [math.ca] 36 Treffer
- [math.math-fa]mathematics [math]/functional analysis [math.fa] 36 Treffer
- measure theory 34 Treffer
- type theory 34 Treffer
- lebesgue integration 30 Treffer
- completeness 24 Treffer
- rewriting 24 Treffer
- computer science 23 Treffer
- linear logic 23 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 22 Treffer
- deductive verification 21 Treffer
- quantum computation 21 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 21 Treffer
- preuve formelle 20 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 19 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 19 Treffer
- logical framework 19 Treffer
- 02 engineering and technology 18 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 18 Treffer
- dedukti 18 Treffer
- confluence 17 Treffer
- theorie de la mesure 17 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 17 Treffer
- formal specification 16 Treffer
- theoretical computer science 16 Treffer
- programming language 15 Treffer
- geometry of interaction 14 Treffer
- integrale de lebesgue 14 Treffer
- verification 14 Treffer
- 06a07 13 Treffer
- arithmetic 13 Treffer
- automated reasoning 13 Treffer
- computer science::logic in computer science 13 Treffer
- formal verification 13 Treffer
- rust 13 Treffer
- 01 natural sciences 12 Treffer
- graphical language 12 Treffer
- quantum circuits 12 Treffer
- 0102 computer and information sciences 11 Treffer
Verlag
- hal ccsd 519 Treffer
- springer verlag 31 Treffer
- elsevier 26 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 19 Treffer
- logical methods in computer science association 14 Treffer
-
22 weitere Werte:
- acm 11 Treffer
- springer international publishing 10 Treffer
- arxiv 8 Treffer
- eptcs 8 Treffer
- institute of electrical and electronics engineers 8 Treffer
- polskie towarzystwo matematyczne 8 Treffer
- association for computing machinery 7 Treffer
- springer nature switzerland 6 Treffer
- cambridge university press (cup) 5 Treffer
- elsevier bv 3 Treffer
- ieee 3 Treffer
- springer 3 Treffer
- episciences.org 2 Treffer
- theoretics foundation e.v 2 Treffer
- tu muenchen 2 Treffer
- auburn university mathematics dept. 1 Treffer
- electronic proceedings in theoretical computer science 1 Treffer
- episciences 1 Treffer
- inria 1 Treffer
- open publishing association 1 Treffer
- oxford university press (oup) 1 Treffer
- schloss dagstuhl - leibniz-zentrum f{\"{u}}r informatik 1 Treffer
Publikation
- issn: 1433-2779 13 Treffer
- issn: 0934-5043 8 Treffer
- https://inria.hal.science/hal-04055141 ; 2022 7 Treffer
- issn: 0166-8641 ; topology and its applications ; https://hal.science/hal-04230848 ; topology and its applications, 2024, 341, pp.108733. ⟨10.1016/j.topol.2023.108733⟩ 7 Treffer
- issn: 0168-7433 6 Treffer
-
33 weitere Werte:
- issn: 0169-2968 6 Treffer
- eissn: 2689-1808 ; ieee transactions on quantum engineering ; https://hal.science/hal-03553916 ; ieee transactions on quantum engineering, in press, 2, pp.3102422. ⟨10.1109/tqe.2021.3091648⟩ ; https://ieeexplore.ieee.org/document/9475957 5 Treffer
- https://inria.hal.science/hal-04550762 ; rr-9547, inria. 2024, pp.13 5 Treffer
- issn: 0004-5411 5 Treffer
- 31st eacsl annual conference on computer science logic (csl 2023) ; csl 2023 - 31st eacsl annual conference on computer science logic ; https://hal.science/hal-04308283 ; csl 2023 - 31st eacsl annual conference on computer science logic, bartek klin and elaine pimentel, feb 2023, varsovie (warsaw), poland. ⟨10.4230/lipics.csl.2023.13⟩ 4 Treffer
- issn: 0960-1295 4 Treffer
- colloquium mathematicum ; https://hal.science/hal-04283731 ; colloquium mathematicum, 2023, 173 (2), pp.227-250. ⟨10.4064/cm8793-3-2023⟩ 3 Treffer
- fossacs ; https://hal.science/hal-04284124 ; fossacs, apr 2023, paris, france. pp.456-476, ⟨10.1007/978-3-031-30829-1_22⟩ 3 Treffer
- https://inria.hal.science/hal-03194113 ; [research report] rr-9401, inria, france. 2021, pp.38 3 Treffer
- mfcs 2021 - 46th international symposium on mathematical foundations of computer science ; https://hal.science/hal-03154573 ; mfcs 2021 - 46th international symposium on mathematical foundations of computer science, aug 2021, tallinn, estonia. pp.30:1--30:16, ⟨10.4230/lipics.mfcs.2021.30⟩ 3 Treffer
- proceedings of the 25th international symposium on formal methods ; 25th international symposium on formal methods (fm 2023) ; https://inria.hal.science/hal-03889276 ; 25th international symposium on formal methods (fm 2023), mar 2023, lubeck, germany. pp.39--55, ⟨10.1007/978-3-031-27481-7_4⟩ ; https://fm2023.isp.uni-luebeck.de/ 3 Treffer
- 32nd international joint conference on artificial intelligence ; ijcai 2023 ; https://centralesupelec.hal.science/hal-04236242 ; ijcai 2023, aug 2023, macao sar, france. pp.6420-6425, ⟨10.24963/ijcai.2023/713⟩ 2 Treffer
- 42nd iarcs annual conference on foundations of software technology and theoretical computer science ; fsttcs'22 ; https://centralesupelec.hal.science/hal-04236273 ; fsttcs'22, dec 2022, chennai (india), france. pp.3:1--3:18, ⟨10.4230/lipics.fsttcs.2022.3⟩ 2 Treffer
- 50th international colloquium on automata, languages, and programming (icalp'23) ; icalp'23 ; https://centralesupelec.hal.science/hal-04175971 ; icalp'23, jul 2023, paderborn, germany. pp.118:1-118:18, ⟨10.4230/lipics.icalp.2023.118⟩ 2 Treffer
- concur'21 ; https://hal.science/hal-03240080 ; concur'21, aug 2021, paris, france. ⟨10.4230/lipics.concur.2021.26⟩ 2 Treffer
- eissn: 1860-5974 ; logical methods in computer science 2 Treffer
- eissn: 2751-4838 ; theoretics ; https://centralesupelec.hal.science/hal-04236233 ; theoretics, 2023, volume 2, ⟨10.46298/theoretics.23.1⟩ 2 Treffer
- https://inria.hal.science/hal-03564379 ; [research report] rr-9457, institut national de recherche en informatique et en automatique (inria). 2023, pp.17 2 Treffer
- issn: 0001-0782 2 Treffer
- issn: 0890-5401 2 Treffer
- issn: 1879-2294 2 Treffer
- stacs'22 ; https://hal.science/hal-03654371 ; stacs'22, mar 2022, online, france. ⟨10.4230/lipics.stacs.2022.16⟩ 2 Treffer
- electronic notes in theoretical computer science 1 Treffer
- electronic proceedings in theoretical computer science 1 Treffer
- https://hal.inria.fr/hal-03126102 ; 2021 1 Treffer
- information and computation 1 Treffer
- issn: 0747-7171 1 Treffer
- issn: 0921-8890 1 Treffer
- issn: 1012-2443 ; eissn: 1573-7470 ; annals of mathematics and artificial intelligence 1 Treffer
- journal of logic and computation 1 Treffer
- journal of logical and algebraic methods in programming 1 Treffer
- mathematical structures in computer science 1 Treffer
- proceedings of the 43rd acm sigplan international conference on programming language design and implementation 1 Treffer
Sprache
Geographischer Bezug
565 Treffer
-
In: Lecture Notes in Computer Science, International Conference on Foundations of Software Science and Computation Structures ; FoSSaCS 2024 - 27th International Conference on Foundations of Software Science and Computation Structures ; https://hal.science/hal-04275229 ; FoSSaCS 2024 - 27th International Conference on Foundations of Software Science and Computation Structures, Apr 2024, Luxembourg City, Luxembourg. pp.3-23, ⟨10.1007/978-3-031-57231-9_1⟩, 2024Online KonferenzZugriff:
-
In: International Conference on Computer Science Logic CSL 2024 ; https://hal.science/hal-04016498 ; International Conference on Computer Science Logic CSL 2024, Feb 2024, Naples, Italy. ⟨10.4230/LIPIcs.CSL.2024.20⟩, 2024Online KonferenzZugriff:
-
In: 31st EACSL Annual Conference on Computer Science Logic (CSL 2023) ; CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic ; https://hal.science/hal-04308283 ; CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic, Bartek Klin and Elaine Pimentel, Feb 2023, Varsovie (Warsaw), Poland. ⟨10.4230/LIPIcs.CSL.2023.13⟩, 2023Online 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: 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2023 ; https://hal.science/hal-04001823 ; 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2023, Jun 2023, Boston, United States. pp.1-22, ⟨10.1109/LICS56636.2023.10175712⟩, 2023Online KonferenzZugriff:
-
In: 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023) ; https://hal.science/hal-04002282 ; 50th International Colloquium on Automata, 2023Online KonferenzZugriff:
-
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS) ; https://hal.science/hal-03827702 ; Tools and Algorithms for the Construction and Analysis of Systems (TACAS), ETAPS, Apr 2023, Paris, France. pp.93-110, ⟨10.1007/978-3-031-30820-8_9⟩ ; https://www.etaps.org/2023/, 2023Online KonferenzZugriff:
-
In: JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs ; https://inria.hal.science/hal-03886759 ; JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.274-283 ; http://jfla.inria.fr/jfla2023.html, 2023Online KonferenzZugriff:
-
In: CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic ; https://hal.science/hal-03654438 ; CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic, Feb 2023, Warsaw, Poland. pp.36:1--36:17, ⟨10.4230/LIPIcs.CSL.2023.36⟩, 2023Online KonferenzZugriff:
-
In: ISSN: 0004-5411, 2023Online academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-03409681 ; Logical Methods in Computer Science, 2023, 19 (1), pp.39. ⟨10.46298/lmcs-19(1:21)2023⟩, 2023Online academicJournalZugriff:
-
In: https://inria.hal.science/hal-03326775 ; [Rapport de recherche] LMF - Laboratoire Méthodes Formelles. 2021, 2021Online reportZugriff:
-
In: PLDI 2022 - 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation ; https://inria.hal.science/hal-03777103, 2022Online KonferenzZugriff:
-
In: RV 2022 - 22nd International Conference on Runtime Verification ; https://inria.hal.science/hal-03690675 ; RV 2022 - 22nd International Conference on Runtime Verification, Sep 2022, Tbilisi, Georgia, 2022Online KonferenzZugriff:
-
In: FSCD 2022 - 7th International Conference on Formal Structures for Computation and Deduction ; https://inria.hal.science/hal-03956666 ; FSCD 2022 - 7th International Conference on Formal Structures for Computation and Deduction, Aug 2022, Haifa, Israel. ⟨10.4230/LIPIcs.FSCD.2022.25⟩, 2022Online KonferenzZugriff:
-
In: Journées Francophones des Langages Applicatifs ; JFLA 2022 - Journées Francophones des Langages Applicatifs ; https://hal.science/hal-03604902 ; JFLA 2022 - Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France ; http://jfla.inria.fr/jfla2022.html, 2022Online KonferenzZugriff:
-
In: ICFEM 2022 - 23th International Conference on Formal Engineering Methods ; https://inria.hal.science/hal-03737878 ; ICFEM 2022 - 23th International Conference on Formal Engineering Methods, Oct 2022, Madrid, Spain, 2022Online KonferenzZugriff:
-
In: https://hal.science/hal-04311936 ; 2023, 2023Online reportZugriff:
-
In: https://hal.science/hal-04016498 ; 2023, 2023Online reportZugriff:
-
In: https://hal.science/hal-04016498 ; 2023, 2023Online reportZugriff: