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] 74 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 48 Treffer
- [info]computer science [cs] 26 Treffer
- coq 18 Treffer
- [scco.comp]cognitive science/computer science 11 Treffer
-
45 weitere Werte:
- [spi]engineering sciences [physics] 10 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 9 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 8 Treffer
- [math.math-na]mathematics [math]/numerical analysis [math.na] 7 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs 7 Treffer
- acoustic wave equation 7 Treffer
- embedded systems 7 Treffer
- formal specification 7 Treffer
- numerical scheme 7 Treffer
- partial differential equation 7 Treffer
- reliability 7 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 6 Treffer
- [phys]physics [physics] 6 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 6 Treffer
- acm: g.: mathematics of computing/g.1: numerical analysis/g.1.8: partial differential equations/g.1.8.2: finite difference methods 6 Treffer
- antenna measurements 6 Treffer
- coq formal proofs 6 Treffer
- optical frequency metrology 6 Treffer
- spectral hole burning 6 Treffer
- ultrastable lasers 6 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 5 Treffer
- [sdv]life sciences [q-bio] 5 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.2: correctness proofs 5 Treffer
- certification 5 Treffer
- ebola 5 Treffer
- graph transformation 5 Treffer
- interdisciplinarity 5 Treffer
- modeling 5 Treffer
- phil 5 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 4 Treffer
- [phys.astr]physics [physics]/astrophysics [astro-ph] 4 Treffer
- [shs.anthro-se]humanities and social sciences/social anthropology and ethnology 4 Treffer
- antenna design 4 Treffer
- antenna pattern 4 Treffer
- compressive sensing 4 Treffer
- edu 4 Treffer
- graph theory 4 Treffer
- leaky wave antennas 4 Treffer
- linear logic 4 Treffer
- metasurface antenna 4 Treffer
- realizability 4 Treffer
- relevance logic 4 Treffer
- spherical harmonics 4 Treffer
- ssreflect 4 Treffer
- [info.info-os]computer science [cs]/operating systems [cs.os] 3 Treffer
Verlag
Publikation
- 2022 rare earth ions for quantum information workshop ; https://hal-obspm.ccsd.cnrs.fr/obspm-03986646 ; 2022 rare earth ions for quantum information workshop, jun 2022, edinburgh (online), united kingdom 5 Treffer
- european conference on antenna and propagation ; eucap 2007 ; https://hal.science/hal-00464950 ; eucap 2007, nov 2007, edinburgh, united kingdom. proceedings of eucap 2007 4 Treffer
- 12th european conference on antennas and propagation, eucap 2018 ; https://univ-rennes.hal.science/hal-02042752 ; 12th european conference on antennas and propagation, eucap 2018, apr 2018, london, united kingdom. ⟨10.1049/cp.2018.0735⟩ 3 Treffer
- 12th european conference on antennas and propagation, eucap 2018 ; https://univ-rennes.hal.science/hal-02042767 ; 12th european conference on antennas and propagation, eucap 2018, apr 2018, london, united kingdom. ⟨10.1049/cp.2018.0637⟩ 3 Treffer
- raimed2022 mobilising methods in medical anthropology ; https://shs.hal.science/halshs-03544010 ; raimed2022 mobilising methods in medical anthropology, royal anthropological institute, jan 2022, london (remote), united kingdom ; https://therai.org.uk/conferences/mobilising-methods-in-medical-anthropology-2022/ 3 Treffer
-
4 weitere Werte:
- when senses take flight: the evolution, development, mechanisms and function of avian senses 3 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
- second coq workshop ; https://inria.hal.science/inria-00489412 ; second coq workshop, yves bertot, jul 2010, edinburgh, united kingdom 2 Treffer
- workshop lola 2010, syntax and semantics of low level languages ; https://hal.science/hal-00475210 ; workshop lola 2010, syntax and semantics of low level languages, jul 2010, edinburgh, united kingdom 2 Treffer
Sprache
Geographischer Bezug
198 Treffer
-
In: FSCD 2018 - 3rd International Conference on Formal Structures for Computation and Deduction ; https://inria.hal.science/hal-01952037 ; FSCD 2018 - 3rd International Conference on Formal Structures for Computation and Deduction, Jul 2018, Oxford, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2018.29⟩, 2018Online KonferenzZugriff:
-
In: FSCD 2018 - 3rd International Conference on Formal Structures for Computation and Deduction ; https://inria.hal.science/hal-01952037 ; FSCD 2018 - 3rd International Conference on Formal Structures for Computation and Deduction, Jul 2018, Oxford, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2018.29⟩, 2018Online KonferenzZugriff:
-
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:
-
In: Proceedings of the Certified Programs and Proofs (CPP) 2024 ; Certified Programs and Proofs (CPP 2024) ; https://hal.science/hal-04375376 ; Certified Programs and Proofs (CPP 2024), Jan 2024, London, United Kingdom. à paraître, ⟨10.1145/3636501.3636956⟩ ; https://popl24.sigplan.org/details/CPP-2024-papers/17/Displayed-Monoidal-Categories-for-the-Semantics-of-Linear-Logic, 2024Online KonferenzZugriff:
-
In: Proceedings of the Certified Programs and Proofs (CPP) 2024 ; Certified Programs and Proofs (CPP 2024) ; https://hal.science/hal-04375376 ; Certified Programs and Proofs (CPP 2024), Jan 2024, London, United Kingdom. à paraître, ⟨10.1145/3636501.3636956⟩ ; https://popl24.sigplan.org/details/CPP-2024-papers/17/Displayed-Monoidal-Categories-for-the-Semantics-of-Linear-Logic, 2024Online KonferenzZugriff:
-
In: ITP ; https://hal.science/hal-00383070 ; ITP, Aug 2010, Edinburgh, United Kingdom. pp.163-178, ⟨10.1007/978-3-642-14052-5_13⟩, 2010Online KonferenzZugriff:
-
In: ITP ; https://hal.archives-ouvertes.fr/hal-00383070 ; ITP, Aug 2010, Edinburgh, United Kingdom. pp.163-178, ⟨10.1007/978-3-642-14052-5_13⟩, 2010Online KonferenzZugriff:
-
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: ITP 2018: Interactive Theorem Proving ; ITP 2018 - International Conference on Interactive Theorem Proving ; https://hal.science/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: Automated Deduction in Geometry (Post-proceedings) ; https://hal.inria.fr/hal-00916880 ; Automated Deduction in Geometry (Post-proceedings), Sep 2012, Edinbourg, United Kingdom. pp.71-88, ⟨10.1007/978-3-642-40672-0_6⟩ ; http://link.springer.com/chapter/10.1007%2F978-3-642-40672-0_6#page-1, 2012Online KonferenzZugriff:
-
In: NSV-3: Third International Workshop on Numerical Software Verification. ; https://inria.hal.science/inria-00473270 ; NSV-3: Third International Workshop on Numerical Software Verification., Fainekos, Georgios and Goubault, Eric and Putot, Sylvie, Jul 2010, Edinburgh, United Kingdom, 2010Online KonferenzZugriff:
-
In: NSV-3: Third International Workshop on Numerical Software Verification. ; https://inria.hal.science/inria-00473270 ; NSV-3: Third International Workshop on Numerical Software Verification., Fainekos, Georgios and Goubault, Eric and Putot, Sylvie, Jul 2010, Edinburgh, United Kingdom, 2010Online KonferenzZugriff:
-
In: NSV-3: Third International Workshop on Numerical Software Verification. ; https://hal.inria.fr/inria-00473270 ; NSV-3: Third International Workshop on Numerical Software Verification., Fainekos, Georgios and Goubault, Eric and Putot, Sylvie, Jul 2010, Edinburgh, United Kingdom, 2010Online KonferenzZugriff:
-
In: ITP 2018 - 9th Conference on Interactive Theorem Proving ; https://hal.science/hal-01809681 ; ITP 2018 - 9th Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.20-39, ⟨10.1007/978-3-319-94821-8_2⟩, 2018Online KonferenzZugriff:
-
In: ITP 2018 - 9th Conference on Interactive Theorem Proving ; https://hal.science/hal-01809681 ; ITP 2018 - 9th Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.20-39, ⟨10.1007/978-3-319-94821-8_2⟩, 2018Online KonferenzZugriff:
-
In: Interactive Theorem Proving - 9th International Conference, (ITP 2018) ; https://hal.science/hal-01505598 ; Interactive Theorem Proving - 9th International Conference, 2018Online KonferenzZugriff:
-
In: ITP 2018 - 9th Conference on Interactive Theorem Proving ; https://hal.science/hal-01809681 ; ITP 2018 - 9th Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.20-39, ⟨10.1007/978-3-319-94821-8_2⟩, 2018Online KonferenzZugriff:
-
In: ITP 2018 - 9th Conference on Interactive Theorem Proving ; https://hal.science/hal-01809681 ; ITP 2018 - 9th Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.20-39, ⟨10.1007/978-3-319-94821-8_2⟩, 2018Online KonferenzZugriff:
-
In: ITP 2018 - 9th Conference on Interactive Theorem Proving ; https://hal.archives-ouvertes.fr/hal-01809681 ; ITP 2018 - 9th Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.20-39, ⟨10.1007/978-3-319-94821-8_2⟩, 2018Online KonferenzZugriff:
-
In: FM 2018 - 22nd International Symposium on Formal Methods ; https://inria.hal.science/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: