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
- 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
- dynamic evaluation 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 - 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:
-
In: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019Online KonferenzZugriff:
-
In: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019Online KonferenzZugriff:
-
In: Proceedings First International Workshop on Hammers for Type Theories, HaTT@IJCAR 2016, Coimbra, Portugal, July 1, 2016Online KonferenzZugriff:
-
In: Proceedings First International Workshop on Hammers for Type Theories, HaTT@IJCAR 2016, Coimbra, Portugal, July 1, 2016Online KonferenzZugriff:
-
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:
-
In: 24th International Conference on Types for Proofs and Programs,TYPES 2018 ; https://hal.science/hal-02333374 ; 24th International Conference on Types for Proofs and Programs,TYPES 2018, Jun 2018, Braga, Portugal, 2018Online KonferenzZugriff:
-
In: 24th International Conference on Types for Proofs and Programs,TYPES 2018 ; https://hal.archives-ouvertes.fr/hal-02333374 ; 24th International Conference on Types for Proofs and Programs,TYPES 2018, Jun 2018, Braga, Portugal, 2018Online KonferenzZugriff:
-
In: IEEE 29th Computer Security Foundations Symposium, CSF 2016 ; https://hal.inria.fr/hal-01397680 ; IEEE 29th Computer Security Foundations Symposium, 2016Online KonferenzZugriff:
-
In: IEEE 29th Computer Security Foundations Symposium, CSF 2016 ; https://inria.hal.science/hal-01397680 ; IEEE 29th Computer Security Foundations Symposium, 2016Online KonferenzZugriff:
-
In: IJCAR 2016 - 8th International Joint Conference on Automated Reasoning ; https://inria.hal.science/hal-01336082 ; IJCAR 2016 - 8th International Joint Conference on Automated Reasoning, Jun 2016, Coimbra, Portugal. ⟨10.1007/978-3-319-40229-1_10⟩, 2016Online KonferenzZugriff:
-
In: EPTCS ; Hammers for Type Theories (HaTT 2016) ; https://inria.hal.science/hal-01401696 ; Hammers for Type Theories (HaTT 2016), Jul 2016, Coimbra, Portugal. pp.3 - 12, ⟨10.4204/EPTCS.210.3⟩ ; http://eptcs.web.cse.unsw.edu.au/content.cgi?HaTT2016, 2016Online KonferenzZugriff:
-
In: IEEE 29th Computer Security Foundations Symposium, CSF 2016 ; https://inria.hal.science/hal-01397680 ; IEEE 29th Computer Security Foundations Symposium, 2016Online KonferenzZugriff:
-
In: IEEE 29th Computer Security Foundations Symposium, CSF 2016 ; https://hal.inria.fr/hal-01397680 ; IEEE 29th Computer Security Foundations Symposium, 2016Online KonferenzZugriff:
-
In: IJCAR 2016 - 8th International Joint Conference on Automated Reasoning ; https://hal.inria.fr/hal-01336082 ; IJCAR 2016 - 8th International Joint Conference on Automated Reasoning, Jun 2016, Coimbra, Portugal. ⟨10.1007/978-3-319-40229-1_10⟩, 2016Online KonferenzZugriff:
-
In: EPTCS ; Hammers for Type Theories (HaTT 2016) ; https://hal.inria.fr/hal-01401696 ; Hammers for Type Theories (HaTT 2016), Jul 2016, Coimbra, Portugal. pp.3 - 12, ⟨10.4204/EPTCS.210.3⟩ ; http://eptcs.web.cse.unsw.edu.au/content.cgi?HaTT2016, 2016Online KonferenzZugriff:
-
In: Proceedings of the Workshops and Work in Progress at CICM 2014 ; Conference on Intelligent Computer Mathematics Work in Progress ; https://hal.science/hal-00867237 ; Conference on Intelligent Computer Mathematics Work in Progress, Jul 2014, Coimbra, Portugal. pp.16, 2014Online KonferenzZugriff:
-
In: Proceedings of the Workshops and Work in Progress at CICM 2014 ; Conference on Intelligent Computer Mathematics Work in Progress ; https://hal.archives-ouvertes.fr/hal-00867237 ; Conference on Intelligent Computer Mathematics Work in Progress, Jul 2014, Coimbra, Portugal. pp.16, 2014Online KonferenzZugriff:
-
In: Electronic Notes in Theoretical Computer Science ; Proceedings of the First International Workshop on Developments in Computational Models (DCM 2005), 2005Online KonferenzZugriff:
-
In: Electronic Notes in Theoretical Computer Science ; Proceedings of the First International Workshop on Developments in Computational Models (DCM 2005), 2005Online KonferenzZugriff: