Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 13 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 12 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 11 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 8 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 7 Treffer
-
44 weitere Werte:
- [math.math-lo]mathematics [math]/logic [math.lo] 5 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 4 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 3 Treffer
- [info.info-it]computer science [cs]/information theory [cs.it] 3 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 3 Treffer
- [info]computer science [cs] 3 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 3 Treffer
- automated reasoning 3 Treffer
- calculus of constructions 3 Treffer
- constructive mathematics 3 Treffer
- constructive type theory 3 Treffer
- coq proof assistant 3 Treffer
- dependent types 3 Treffer
- encodings 3 Treffer
- formalisation 3 Treffer
- linear logic 3 Treffer
- logic 3 Treffer
- logic and verification 3 Treffer
- logical frameworks 3 Treffer
- minsky machines 3 Treffer
- proof theory 3 Treffer
- translation 3 Treffer
- type theory 3 Treffer
- undecidability 3 Treffer
- [info.info-db]computer science [cs]/databases [cs.db] 2 Treffer
- computational effects 2 Treffer
- dynamic evaluation 2 Treffer
- formal semantics 2 Treffer
- formalization 2 Treffer
- geometry 2 Treffer
- many-one reduction 2 Treffer
- proof assistant 2 Treffer
- quantifier instantiation 2 Treffer
- sql 2 Treffer
- tarski 2 Treffer
- coherent logic 1 Treffer
- decidability 1 Treffer
- edu 1 Treffer
- formal proof 1 Treffer
- intuitionistic linear logic 1 Treffer
- isabelle 1 Treffer
- pattern unification 1 Treffer
- phil 1 Treffer
- recursive function 1 Treffer
Verlag
Sprache
Geographischer Bezug
40 Treffer
-
In: CPP 2019 Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs ; CPP 19 ; https://hal.science/hal-01955433, 2019Online KonferenzZugriff:
-
In: CPP 2019 Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs ; CPP 19 ; https://hal.science/hal-01955433, 2019Online KonferenzZugriff:
-
In: Proc. HaTT ; Proceedings Hammers for Type Theories ; https://inria.hal.science/hal-01330980 ; Proceedings Hammers for Type Theories, Jul 2016, Coimbra, Portugal ; http://hatt2016.inria.fr/, 2016Online KonferenzZugriff:
-
In: Proc. HaTT ; Proceedings Hammers for Type Theories ; https://inria.hal.science/hal-01330980 ; Proceedings Hammers for Type Theories, Jul 2016, Coimbra, Portugal ; http://hatt2016.inria.fr/, 2016Online KonferenzZugriff:
-
In: Proc. HaTT ; Proceedings Hammers for Type Theories ; https://hal.inria.fr/hal-01330980 ; Proceedings Hammers for Type Theories, Jul 2016, Coimbra, Portugal ; http://hatt2016.inria.fr/, 2016Online 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: CPP 2019 Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs ; The, 2019Online KonferenzZugriff:
-
In: Mathematics of Program Construction. MPC 2019. Lecture Notes in Computer Science ; 13th International Conference on Mathematics of Program Construction, 2019Online KonferenzZugriff:
-
In: Mathematics of Program Construction. MPC 2019. Lecture Notes in Computer Science ; 13th International Conference on Mathematics of Program Construction, 2019Online KonferenzZugriff:
-
In: Mathematics of Program Construction. MPC 2019. Lecture Notes in Computer Science ; 13th International Conference on Mathematics of Program Construction, 2019Online KonferenzZugriff:
-
In: Mathematics of Program Construction. MPC 2019. Lecture Notes in Computer Science ; 13th International Conference on Mathematics of Program Construction, 2019Online KonferenzZugriff:
-
In: Mathematics of Program Construction. MPC 2019. Lecture Notes in Computer Science ; 13th International Conference on Mathematics of Program Construction, 2019Online KonferenzZugriff:
-
In: Leibniz International Proceedings in Informatics (LIPIcs) ; 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016) ; https://inria.hal.science/hal-01379683 ; 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Delia Kesner and Brigitte Pientka, Jun 2016, Porto, Portugal. pp.1 - 17, ⟨10.4230/LIPIcs.FSCD.2016.26⟩, 2016Online KonferenzZugriff:
-
In: Leibniz International Proceedings in Informatics (LIPIcs) ; 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016) ; https://inria.hal.science/hal-01379683 ; 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Delia Kesner and Brigitte Pientka, Jun 2016, Porto, Portugal. pp.1 - 17, ⟨10.4230/LIPIcs.FSCD.2016.26⟩, 2016Online KonferenzZugriff:
-
In: Leibniz International Proceedings in Informatics (LIPIcs) ; 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016) ; https://hal.inria.fr/hal-01379683 ; 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Delia Kesner and Brigitte Pientka, Jun 2016, Porto, Portugal. pp.1 - 17, ⟨10.4230/LIPIcs.FSCD.2016.26⟩, 2016Online KonferenzZugriff:
-
In: CICM 2014 - Conferences on Intelligent Computer Mathematics ; https://hal.inria.fr/hal-00983975 ; CICM 2014 - Conferences on Intelligent Computer Mathematics, Jul 2014, Coimbra, Portugal. pp.16, ⟨10.1007/978-3-319-08434-3_28⟩, 2014Online KonferenzZugriff:
-
In: Automated Deduction in Geometry 2014 ; https://hal.inria.fr/hal-00989785 ; Automated Deduction in Geometry 2014, Jul 2014, Coimbra, Portugal. pp.1-15, 2014Online KonferenzZugriff:
-
In: Automated Deduction in Geometry 2014 ; https://hal.inria.fr/hal-00989781 ; Automated Deduction in Geometry 2014, Jul 2014, Coimbra, Portugal. pp.1-19, 2014Online KonferenzZugriff:
-
In: CPP 2019 - 8th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.science/hal-01849166 ; CPP 2019 - 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2019, Lisbonne, Portugal. pp.91-103, ⟨10.1145/3293880.3294095⟩ ; https://popl19.sigplan.org/track/CPP-2019, 2019Online KonferenzZugriff: