Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 3 Treffer
- coq 3 Treffer
- type theory 3 Treffer
- interactive theorem proving 2 Treffer
- socio 2 Treffer
-
24 weitere Werte:
- [math.math-lo]mathematics [math]/logic [math.lo] 1 Treffer
- arithmetic 1 Treffer
- automated reasoning 1 Treffer
- calculus of inductive constructions 1 Treffer
- computability theory 1 Treffer
- confluence 1 Treffer
- constructive logic 1 Treffer
- constructive mathematics 1 Treffer
- coq proof assistant 1 Treffer
- dependent type theory 1 Treffer
- dependent types 1 Treffer
- edu 1 Treffer
- effects 1 Treffer
- forcing 1 Treffer
- higher order logic 1 Treffer
- inductive types 1 Treffer
- lang 1 Treffer
- modal logic 1 Treffer
- pre-processing 1 Treffer
- program verification 1 Treffer
- rewriting theory 1 Treffer
- separation logic 1 Treffer
- stat 1 Treffer
- termination 1 Treffer
Verlag
Sprache
Geographischer Bezug
5 Treffer
-
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: CPP 2023 - 12th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-03891390 ; CPP 2023 - 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2023, Boston, United States. pp.1-8, ⟨10.1145/3573105.3575690⟩, 2023Online KonferenzZugriff:
-
In: International Conference on Functional Programming (ICFP 2018) ; https://hal.science/hal-01898522 ; International Conference on Functional Programming (ICFP 2018), ACM, Sep 2018, St Louis, MO, United States. pp.77, ⟨10.1145/3236772⟩ ; https://conf.researchr.org/home/icfp-2018, 2018Online KonferenzZugriff:
-
In: Logics in Computer Science ; https://hal.science/hal-01319066 ; Logics in Computer Science, May 2016, New York, United States. ⟨10.1145/http://dx.doi.org/10.1145/2933575.2935320⟩, 2016Online KonferenzZugriff:
-
In: POPL 2023 Proceedings of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages ; POPL 2023 - 50th ACM SIGPLAN Symposium on Principles of Programming Languages ; https://hal.science/hal-03857705 ; POPL 2023 - 50th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2023, Boston, United States. pp.74, ⟨10.1145/3571739⟩, 2023Online KonferenzZugriff: