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] 108 Treffer
- [info.info-gt]computer science [cs]/computer science and game theory [cs.gt] 58 Treffer
- [math]mathematics [math] 40 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 34 Treffer
- fos: computer and information sciences 28 Treffer
-
45 weitere Werte:
- [phys.phys.phys-gen-ph]physics [physics]/physics [physics]/general physics [physics.gen-ph] 27 Treffer
- [phys]physics [physics] 24 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 21 Treffer
- complexity 21 Treffer
- theoretical computer science 19 Treffer
- computer science 18 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 17 Treffer
- [info.info-sy]computer science [cs]/systems and control [cs.sy] 17 Treffer
- floating-point arithmetic 16 Treffer
- computer science - formal languages and automata theory 15 Treffer
- formal languages and automata theory (cs.fl) 15 Treffer
- type theory 15 Treffer
- [phys.qphy]physics [physics]/quantum physics [quant-ph] 14 Treffer
- formal proof 14 Treffer
- 02 engineering and technology 13 Treffer
- rewriting 13 Treffer
- 01 natural sciences 12 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 12 Treffer
- computer science - logic in computer science 12 Treffer
- logic in computer science (cs.lo) 12 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 11 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 11 Treffer
- [phys.mphy]physics [physics]/mathematical physics [math-ph] 11 Treffer
- computer science::formal languages and automata theory 11 Treffer
- coq 11 Treffer
- lmf 11 Treffer
- programming language 11 Treffer
- 0102 computer and information sciences 10 Treffer
- 010201 computation theory & mathematics 10 Treffer
- benchmark 10 Treffer
- program verification 10 Treffer
- semantics 10 Treffer
- [phys.grqc]physics [physics]/general relativity and quantum cosmology [gr-qc] 9 Treffer
- [shs]humanities and social sciences 9 Treffer
- alignment 9 Treffer
- category theory 9 Treffer
- computer 9 Treffer
- computer science - computer science and game theory 9 Treffer
- computer science and game theory (cs.gt) 9 Treffer
- costs 9 Treffer
- diffeomorphism 9 Treffer
- effect: quantum 9 Treffer
- graph theory 9 Treffer
- logical framework 9 Treffer
- qubit 9 Treffer
Verlag
- hal ccsd 575 Treffer
- springer verlag 35 Treffer
- elsevier 30 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 22 Treffer
- springer international publishing 20 Treffer
-
27 weitere Werte:
- acm 15 Treffer
- springer nature switzerland 15 Treffer
- springer 14 Treffer
- logical methods in computer science association 13 Treffer
- american physical society 11 Treffer
- ieee 11 Treffer
- verein 11 Treffer
- association for computing machinery 6 Treffer
- arxiv 4 Treffer
- crc press 4 Treffer
- polskie towarzystwo matematyczne 4 Treffer
- tu muenchen 4 Treffer
- european mathematical society publishing house 3 Treffer
- ellipses 2 Treffer
- elsevier bv 2 Treffer
- episciences.org 2 Treffer
- eptcs 2 Treffer
- international joint conferences on artificial intelligence organization 2 Treffer
- publications de l'institut royal de la culture amazighe 2 Treffer
- schloss dagstuhl -- leibniz-zentrum fur informatik 2 Treffer
- association for computing machinery (acm) 1 Treffer
- elsevier masson 1 Treffer
- ios press 1 Treffer
- open publishing association 1 Treffer
- scitepress - science and technology publications 1 Treffer
- springer cham 1 Treffer
- world scientific publishing 1 Treffer
Publikation
- issn: 2521-327x ; quantum ; https://hal.science/hal-03944082 ; quantum, 2023, 7, pp.1179. ⟨10.22331/q-2023-11-08-1179⟩ 10 Treffer
- issn: 0031-9007 8 Treffer
- issn: 0934-5043 8 Treffer
- leibniz international proceedings in informatics (lipics) ; 46th international symposium on mathematical foundations of computer science (mfcs 2021) ; https://hal.science/hal-03937536 ; 46th international symposium on mathematical foundations of computer science (mfcs 2021), aug 2021, talinn, estonia. pp.1-14, ⟨10.4230/lipics.mfcs.2021.9⟩ 7 Treffer
- https://hal.science/hal-02999569 ; 2020 6 Treffer
-
43 weitere Werte:
- https://inria.hal.science/hal-04001505 ; inria. 2023, pp.1-3 6 Treffer
- issn: 0168-7433 6 Treffer
- issn: 0890-5401 6 Treffer
- issn: 1433-2779 6 Treffer
- https://hal.science/hal-04520893 ; 2024 5 Treffer
- https://inria.hal.science/hal-04115885 ; 2023 5 Treffer
- a guided tour of artificial intelligence research - volume iii: interfaces and applications of artificial intelligence (10.1007/978-3-030-06170-8) ; https://hal.science/hal-03173193 ; a guided tour of artificial intelligence research - volume iii: interfaces and applications of artificial intelligence (10.1007/978-3-030-06170-8), springer international publishing, pp.1-50, 2020, ⟨10.1007/978-3-030-06170-8_1⟩ 4 Treffer
- handbook of formal analysis and verification in cryptography ; https://hal.science/hal-04311441 ; handbook of formal analysis and verification in cryptography, 1, crc press, pp.319-422, 2023, ⟨10.1201/9781003090052-7⟩ 4 Treffer
- issn: 0169-2968 4 Treffer
- issn: 1529-3785 4 Treffer
- issn: 1567-7818 4 Treffer
- lecture notes in computer science ; reversible computation ; https://hal.science/hal-04349410 ; reversible computation, jul 2020, oslo, norway. ⟨10.1007/978-3-030-52482-1_11⟩ 4 Treffer
- lecture notes in computer science ; structural information and communication complexity (sirocco 2024) ; https://hal.science/hal-04448960 ; structural information and communication complexity (sirocco 2024), may 2024, salerno, italy. pp.101-118, ⟨10.1007/978-3-031-60603-8_6⟩ 4 Treffer
- msfp 2022 - ninth workshop on mathematically structured functional programming ; ninth workshop on mathematically structured functional programming (msfp) ; https://inria.hal.science/hal-04316452 ; ninth workshop on mathematically structured functional programming (msfp), jeremy gibbons; max s. new, apr 2022, munich, germany. pp.27-44, ⟨10.4204/eptcs.360.2⟩ 4 Treffer
- csf 2024 - 37th ieee computer security foundations symposium ; https://hal.science/hal-04577828 ; csf 2024 - 37th ieee computer security foundations symposium, jul 2024, enschede, netherlands 3 Treffer
- issn: 0022-5193 3 Treffer
- issn: 0924-6703 3 Treffer
- issn: 0925-9856 3 Treffer
- issn: 1432-4350 3 Treffer
- issn: 1879-2294 3 Treffer
- issn: 2469-9926 3 Treffer
- 4eme atelier international sur l'amazighe et les nouvelles technologies ; https://hal.science/hal-00843513 ; 4eme atelier international sur l'amazighe et les nouvelles technologies, feb 2011, rabat, morocco. pp.13-32 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
- https://hal.science/hal-04549937 ; 2023 2 Treffer
- issn: 0004-5411 2 Treffer
- issn: 0010-4655 2 Treffer
- issn: 0022-0000 2 Treffer
- issn: 0164-0925 2 Treffer
- issn: 2643-6809 2 Treffer
- stacs'22 ; https://hal.science/hal-03654371 ; stacs'22, mar 2022, online, france. ⟨10.4230/lipics.stacs.2022.16⟩ 2 Treffer
- 2020 27th asia-pacific software engineering conference (apsec) 1 Treffer
- acm transactions on computational logic 1 Treffer
- fundamenta informaticae 1 Treffer
- https://hal.inria.fr/hal-03126102 ; 2021 1 Treffer
- ifac-papersonline 1 Treffer
- information and computation 1 Treffer
- issn: 0921-8890 1 Treffer
- issn: 0933-5846 1 Treffer
- issn: 2153-0785 1 Treffer
- issn: 2169-3536 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
603 Treffer
-
In: Colloque National sur la Recherche en Informatique et ses Applications ; https://hal.science/hal-01294544 ; Colloque National sur la Recherche en Informatique et ses Applications, Oct 2015, Thiès, Sénégal, 2015Online KonferenzZugriff:
-
In: 4ème atelier international sur l'Amazighe et les Nouvelles Technologies ; https://hal.science/hal-00843513 ; 4ème atelier international sur l'Amazighe et les Nouvelles Technologies, Feb 2011, Rabat, Morocco. pp.13-32, 2011Online KonferenzZugriff:
-
In: https://tel.archives-ouvertes.fr/tel-03153438 ; Computation and Language [cs.CL]. Université de Paris, 2020. English, 2020Online HochschulschriftZugriff:
-
In: CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs ; CPP 2024 - 13th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.science/hal-04484598 ; CPP 2024 - 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2024, London, United Kingdom. pp.30-44, ⟨10.1145/3636501.3636961⟩, 2024Online KonferenzZugriff:
-
2013Online unknownZugriff:
-
In: https://hal.science/tel-01074995 ; Informatique [cs]. Université François Rabelais Tours, 2013, 2013Online HochschulschriftZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.science/hal-04496100 ; Logical Methods in Computer Science, 2024, 2024Online academicJournalZugriff:
-
In: https://hal.science/hal-04496193 ; 2024, 2024Online reportZugriff:
-
In: https://hal.science/hal-04398119 ; 2024, 2024Online reportZugriff:
-
In: https://hal.science/hal-04163836 ; 2024, 2024Online reportZugriff:
-
In: https://hal.science/hal-04556748 ; LS2N-Nantes Université; LMF-Univesité Paris Saclay. 2022, 2022Online reportZugriff:
-
In: Lecture Notes in Computer Science ; SEFM 2023 - Software Engineering and Formal Methods ; https://inria.hal.science/hal-04394062 ; SEFM 2023 - Software Engineering and Formal Methods, Nov 2023, Eindhoven, Netherlands. pp.30-46, ⟨10.1007/978-3-031-47115-5_3⟩, 2023Online KonferenzZugriff:
-
In: Reachability Problems ; RP 2023 - 17th International Conference on Reachability Problems ; https://hal.science/hal-04271224 ; RP 2023 - 17th International Conference on Reachability Problems, Oct 2023, Nice, France. pp.127-140, ⟨10.1007/978-3-031-45286-4_10⟩, 2023Online KonferenzZugriff:
-
In: Lecture Notes in Computer Science ; FORMATS 2023 - International Conference on Formal Modeling and Analysis of Timed Systems ; https://hal.science/hal-04266002 ; FORMATS 2023 - International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2023, Antwerp, Belgium. pp.69-85, ⟨10.1007/978-3-031-42626-1_5⟩, 2023Online KonferenzZugriff:
-
In: IFL 2023 - The 35th Symposium on Implementation and Application of Functional Languages ; https://inria.hal.science/hal-04311345 ; IFL 2023 - The 35th Symposium on Implementation and Application of Functional Languages, João Saraiva; João Fernandes, Aug 2023, Braga, Portugal, 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-03936696 ; JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.172-189 ; http://jfla.inria.fr/jfla2023.html, 2023Online KonferenzZugriff: