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] 10 Treffer
- edu 10 Treffer
- coq 9 Treffer
- lang 8 Treffer
- socio 5 Treffer
-
45 weitere Werte:
- type theory 5 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 4 Treffer
- stat 4 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 3 Treffer
- automated reasoning 3 Treffer
- ccs concepts: • theory of computation → functional constructs 3 Treffer
- ccs concepts: • theory of computation → type theory 3 Treffer
- constructive mathematics 3 Treffer
- efects 3 Treffer
- exceptions 3 Treffer
- functional constructs 3 Treffer
- interactive theorem proving 3 Treffer
- logical frameworks 3 Treffer
- parametricity 3 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 2 Treffer
- [info]computer science [cs] 2 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 2 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.2: lambda calculus and related systems 2 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 2 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.7: proof theory 2 Treffer
- computability theory 2 Treffer
- dependent types 2 Treffer
- info 2 Treffer
- measure theory 2 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 1 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 1 Treffer
- [info.info-pf]computer science [cs]/performance [cs.pf] 1 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 1 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 1 Treffer
- [info.info-si]computer science [cs]/social and information networks [cs.si] 1 Treffer
- [math.math-ca]mathematics [math]/classical analysis and odes [math.ca] 1 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs 1 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.6: model theory 1 Treffer
- archi 1 Treffer
- arithmetic 1 Treffer
- automated theorem proving 1 Treffer
- b method 1 Treffer
- calculus of inductive constructions 1 Treffer
- classical logic 1 Treffer
- coalgebras 1 Treffer
- completeness 1 Treffer
- confluence 1 Treffer
- constructive logic 1 Treffer
- coq proof assistant 1 Treffer
- curry-howard correspondence 1 Treffer
Verlag
Sprache
Geographischer Bezug
32 Treffer
-
In: Proceedings of the 25th International Symposium on Formal Methods ; 25th International Symposium on Formal Methods (FM 2023) ; https://hal.inria.fr/hal-03889276 ; 25th International Symposium on Formal Methods (FM 2023), Mar 2023, Lübeck, Germany. pp.39--55, ⟨10.1007/978-3-031-27481-7_4⟩ ; https://fm2023.isp.uni-luebeck.de/, 2023Online KonferenzZugriff:
-
In: 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021) ; https://inria.hal.science/hal-03280264 ; 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), Jul 2021, Buenos Aires, Argentina. ⟨10.4230/LIPIcs.FSCD.2021.18⟩, 2021Online KonferenzZugriff:
-
In: CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic ; https://inria.hal.science/hal-03901942 ; CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic, Feb 2023, Warsaw, Poland. pp.1-21, ⟨10.4230/LIPIcs.CSL.2023.16⟩, 2023Online KonferenzZugriff:
-
In: LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019 ; https://hal.archives-ouvertes.fr/hal-02152406 ; LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019, Jun 2019, Vancouver, Canada, 2019Online academicJournalZugriff:
-
In: ITP 2018 - 9th International Conference on Interactive Theorem Proving ; https://hal.inria.fr/hal-01703524 ; ITP 2018 - 9th International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.459-476, ⟨10.1007/978-3-319-94821-8_27⟩, 2018Online KonferenzZugriff:
-
In: FM 2018 - 22nd International Symposium on Formal Methods ; https://hal.inria.fr/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:
-
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: Second Coq Workshop ; https://hal.inria.fr/inria-00489496 ; Second Coq Workshop, Yves Bertot, Jul 2010, Edinburgh, United Kingdom, 2010Online KonferenzZugriff:
-
In: ISSN: 0168-7433, 2023Online academicJournalZugriff:
-
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: Software Engineering and Formal Methods ; https://hal.archives-ouvertes.fr/hal-00722373 ; Software Engineering and Formal Methods, 2011, 7041, pp.253-268. ⟨10.1007/978-3-642-24690-6_18⟩, 2011academicJournalZugriff:
-
In: CPP 2019 - 8th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.archives-ouvertes.fr/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:
-
2021Online reportZugriff:
-
In: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://hal.inria.fr/hal-02189128, 2019Online academicJournalZugriff: