Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 68 Treffer
- completeness 34 Treffer
- quantum computation 26 Treffer
- quantum physics 23 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 21 Treffer
-
45 weitere Werte:
- fos: physical sciences 18 Treffer
- graphical language 18 Treffer
- quantum physics (quant-ph) 18 Treffer
- quantum computing 16 Treffer
- [info.info-cc]computer science [cs]/computational complexity [cs.cc] 15 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 15 Treffer
- linear logic 15 Treffer
- quantum circuits 15 Treffer
- zx-calculus 15 Treffer
- [info]computer science [cs] 14 Treffer
- fos: computer and information sciences 14 Treffer
- geometry of interaction 14 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 11 Treffer
- qubit 11 Treffer
- benchmark 10 Treffer
- computer science - logic in computer science 10 Treffer
- costs 10 Treffer
- logic in computer science (cs.lo) 10 Treffer
- quantum 10 Treffer
- quantum simulation 10 Treffer
- linear reversible circuits 6 Treffer
- reversible logic 6 Treffer
- computer 5 Treffer
- factorization 5 Treffer
- hardware 5 Treffer
- operator 5 Treffer
- optimization 5 Treffer
- physics 5 Treffer
- quantum control 5 Treffer
- qubits 5 Treffer
- qudits 5 Treffer
- random 5 Treffer
- stabiliser 5 Treffer
- string diagrams 5 Treffer
- synthesis 5 Treffer
- theory of computation → quantum computation theory 5 Treffer
- verification 5 Treffer
- [info.info-ir]computer science [cs]/information retrieval [cs.ir] 4 Treffer
- computer science::emerging technologies 4 Treffer
- graph fourier transform 4 Treffer
- information theory 4 Treffer
- langage de programmation 4 Treffer
- logique lineaire 4 Treffer
- pagerank 4 Treffer
- programming languages 4 Treffer
Verlag
- hal ccsd 138 Treffer
- springer verlag 10 Treffer
- acm 7 Treffer
- springer international publishing 7 Treffer
- american physical society 6 Treffer
-
12 weitere Werte:
- arxiv 6 Treffer
- institute of electrical and electronics engineers 5 Treffer
- nature publishing group 5 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 5 Treffer
- schloss dagstuhl -- leibniz-zentrum fur informatik 5 Treffer
- verein 4 Treffer
- ieee 3 Treffer
- iop publishing 3 Treffer
- elsevier 2 Treffer
- eptcs 2 Treffer
- association for computing machinery (acm) 1 Treffer
- springer science and business media llc 1 Treffer
Publikation
- issn: 1570-0755 7 Treffer
- issn: 0031-9007 6 Treffer
- issn: 2643-6809 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
- issn: 2045-2322 5 Treffer
-
10 weitere Werte:
- cellular automata and discrete complex systems ; https://amu.hal.science/hal-03594742 ; cellular automata and discrete complex systems, 10875, springer international publishing, pp.1-12, 2018, lecture notes in computer science, ⟨10.1007/978-3-319-92675-9_1⟩ 3 Treffer
- https://amu.hal.science/hal-03594743 ; 2023 3 Treffer
- issn: 1567-7818 3 Treffer
- issn: 1751-8113 ; eissn: 1751-8121 3 Treffer
- issn: 2521-327x ; quantum ; https://hal.science/hal-03874624 ; quantum, 2023, 7, pp.931. ⟨10.22331/q-2023-02-21-931⟩ 3 Treffer
- leibniz international proceedings in informatics (lipics) ; 47th international symposium on mathematical foundations of computer science (mfcs 2022) ; https://hal.science/hal-03655398 ; 47th international symposium on mathematical foundations of computer science (mfcs 2022), aug 2022, vienna, austria. pp.24:1--24:15, ⟨10.4230/lipics.mfcs.2022.24⟩ 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
- acm transactions on quantum computing 1 Treffer
- quantum information processing 1 Treffer
- sci.comput.program. ; https://hal.science/hal-03547113 ; sci.comput.program., 2022, 214, pp.102726. ⟨10.1016/j.scico.2021.102726⟩ 1 Treffer
Sprache
Geographischer Bezug
153 Treffer
-
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: https://hal.science/hal-04396459 ; 2024, 2024Online reportZugriff:
-
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: 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: 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ; 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ; https://hal.science/hal-03926757 ; 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175801⟩, 2023Online KonferenzZugriff:
-
In: ISSN: 2521-327X ; Quantum ; https://hal.science/hal-03874624 ; Quantum, 2023, 2023Online academicJournalZugriff:
-
In: https://amu.hal.science/hal-03594743 ; 2023, 2023Online reportZugriff:
-
In: https://hal.science/hal-04016498 ; 2023, 2023Online reportZugriff:
-
In: https://hal.science/hal-04016498 ; 2023, 2023Online reportZugriff:
-
In: ISSN: 2045-2322, 2022Online academicJournalZugriff:
-
In: 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⟩, 2021Online KonferenzZugriff:
-
In: https://hal.science/hal-03654190 ; 2022, 2022Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-03654438 ; 2022, 2022Online reportZugriff:
-
In: ISSN: 2643-6809, 2021Online academicJournalZugriff:
-
In: ISSN: 2643-6809, 2021Online academicJournalZugriff:
-
In: ISSN: 0031-9007, 2020Online academicJournalZugriff:
-
In: ISSN: 1570-0755, 2023academicJournalZugriff:
-
In: Leibniz International Proceedings in Informatics (LIPIcs) ; MFCS 2022 - 47th International Symposium on Mathematical Foundations of Computer Science ; https://hal.science/hal-03926660 ; MFCS 2022 - 47th International Symposium on Mathematical Foundations of Computer Science, Aug 2022, Vienna, Austria. pp.35:1--35:16, ⟨10.4230/LIPIcs.MFCS.2022.35⟩, 2022KonferenzZugriff: