Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 6 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 3 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 3 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 3 Treffer
- constructive type theory 3 Treffer
-
16 weitere Werte:
- linear logic 3 Treffer
- minsky machines 3 Treffer
- proof assistant 3 Treffer
- transcendence 3 Treffer
- undecidability 3 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.2: correctness proofs 2 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.3: formal methods 2 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.6: reliability 2 Treffer
- acm: d.: software/d.3: programming languages/d.3.4: processors/d.3.4.1: compilers 2 Treffer
- acm: d.: software/d.3: programming languages/d.3.4: processors/d.3.4.6: optimization 2 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs/f.3.1.3: mechanical verification 2 Treffer
- formal mathematics 2 Treffer
- many-one reduction 2 Treffer
- multivariate polynomials 2 Treffer
- intuitionistic linear logic 1 Treffer
Sprache
Geographischer Bezug
8 Treffer
-
In: CPP 2019 Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs ; The, 2019Online KonferenzZugriff:
-
In: CPP 2019 Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs ; The, 2019Online KonferenzZugriff:
-
In: CPP 2019 Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs ; The, 2019Online KonferenzZugriff:
-
In: Certified Programs and Proofs ; https://inria.hal.science/hal-01240025 ; Certified Programs and Proofs, Jan 2016, St Petersburg, Florida, United States. pp.12, 2016KonferenzZugriff:
-
In: Certified Programs and Proofs ; https://hal.inria.fr/hal-01240025 ; Certified Programs and Proofs, Jan 2016, St Petersburg, Florida, United States. pp.12, 2016KonferenzZugriff:
-
In: Certified Programs and Proofs ; https://inria.hal.science/hal-01240025 ; Certified Programs and Proofs, Jan 2016, St Petersburg, Florida, United States. pp.12, 2016KonferenzZugriff:
-
In: 33rd Symposium Principles of Programming Languages (POPL 2006) ; https://hal.inria.fr/inria-00000963 ; 33rd Symposium Principles of Programming Languages (POPL 2006), Jan 2006, Charleston, SC, United States. pp.42--54, ⟨10.1145/1111037.1111042⟩, 2006Online KonferenzZugriff:
-
In: 33rd Symposium Principles of Programming Languages (POPL 2006) ; https://inria.hal.science/inria-00000963 ; 33rd Symposium Principles of Programming Languages (POPL 2006), Jan 2006, Charleston, SC, United States. pp.42--54, ⟨10.1145/1111037.1111042⟩, 2006Online KonferenzZugriff: