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] 38 Treffer
- coq 22 Treffer
- [info]computer science [cs] 21 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 16 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 9 Treffer
-
45 weitere Werte:
- [info.info-es]computer science [cs]/embedded systems 7 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 7 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 6 Treffer
- assistant de preuve 6 Treffer
- proof assistant 6 Treffer
- skeletal semantics 6 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 5 Treffer
- [info.info-db]computer science [cs]/databases [cs.db] 5 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 5 Treffer
- compilation 5 Treffer
- deductive verification 5 Treffer
- floating-point arithmetic 5 Treffer
- formal methods 5 Treffer
- program verification 5 Treffer
- semantique 5 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 4 Treffer
- [info.info-mm]computer science [cs]/multimedia [cs.mm] 4 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs 4 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.2: semantics of programming languages 4 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.2: semantics of programming languages/f.3.2.2: operational semantics 4 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.2: semantics of programming languages/f.3.2.5: program analysis 4 Treffer
- bidirectional typing 4 Treffer
- calculus of inductive constructions 4 Treffer
- constraint solving 4 Treffer
- functional testing 4 Treffer
- linearizability 4 Treffer
- operational semantics 4 Treffer
- parametricity 4 Treffer
- polymorphism 4 Treffer
- program analysis 4 Treffer
- proof assistants 4 Treffer
- semantique squelettique 4 Treffer
- test case generation 4 Treffer
- verified compilation 4 Treffer
- [info.info-hc]computer science [cs]/human-computer interaction [cs.hc] 3 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.5: programming by contract 3 Treffer
- automatic theorem provers 3 Treffer
- certification 3 Treffer
- dependency analysis 3 Treffer
- focalize 3 Treffer
- formal method 3 Treffer
- formalisation 3 Treffer
- formalization 3 Treffer
- linear logic 3 Treffer
- logical relations 3 Treffer
Sprache
111 Treffer
-
In: https://hal.science/hal-04214008 ; 2024, 2024Online reportZugriff:
-
In: https://hal.inria.fr/hal-03592675 ; 2022, 2022Online reportZugriff:
-
In: https://inria.hal.science/hal-04214008 ; 2023, 2023Online reportZugriff:
-
In: https://inria.hal.science/hal-04214008 ; 2023, 2023Online reportZugriff:
-
In: https://hal.science/hal-02062288 ; 2019, 2019Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-02062288 ; 2019, 2019Online reportZugriff:
-
In: https://hal.inria.fr/hal-03359505 ; 2021, 2021Online reportZugriff:
-
In: https://hal.science/hal-01830255 ; 2018, 2018Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-01830255 ; 2018, 2018Online reportZugriff:
-
In: https://minesparis-psl.hal.science/hal-01384408 ; 2016, 2016Online reportZugriff:
-
In: https://hal-mines-paristech.archives-ouvertes.fr/hal-01384408 ; 2016, 2016Online reportZugriff:
-
In: https://hal-mines-paristech.archives-ouvertes.fr/hal-01384408 ; 2016, 2016Online reportZugriff:
-
In: https://hal.science/hal-01487062 ; 2016, 2016Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-01487062 ; 2016, 2016Online reportZugriff:
-
In: https://hal.science/hal-01487062 ; 2016, 2016Online reportZugriff:
-
In: https://hal.inria.fr/hal-03359508 ; 2021, 2021reportZugriff:
-
In: https://inria.hal.science/hal-03543701 ; [Research Report] RR-9449, Inria Rennes - Bretagne Atlantique. 2022, pp.1-23, 2022Online reportZugriff:
-
In: https://inria.hal.science/hal-03543701 ; [Research Report] RR-9449, Inria Rennes - Bretagne Atlantique. 2022, pp.1-23, 2022Online reportZugriff:
-
In: https://inria.hal.science/hal-03543701 ; [Research Report] RR-9449, Inria Rennes - Bretagne Atlantique. 2022, pp.1-23, 2022Online reportZugriff:
-
In: https://inria.hal.science/inria-00448751 ; [Research Report] RR-2009-07, 2009Online reportZugriff: