Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 9 Treffer
- type theory 8 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 7 Treffer
- calculus of constructions 5 Treffer
- calculus of inductive constructions 5 Treffer
-
45 weitere Werte:
- proof assistants 5 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.7: proof theory 4 Treffer
- certification 4 Treffer
- decision procedures 4 Treffer
- first-order theory 4 Treffer
- lambda-calculus 4 Treffer
- proof 4 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 3 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 3 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 3 Treffer
- acm: d.: software/d.3: programming languages 3 Treffer
- acm: d.: software/d.3: programming languages/d.3.1: formal definitions and theory 3 Treffer
- acm: d.: software/d.3: programming languages/d.3.2: language classifications 3 Treffer
- acm: d.: software/d.3: programming languages/d.3.3: language constructs and features 3 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs 3 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.2: semantics of programming languages 3 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages 3 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 3 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.3: logic and constraint programming 3 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 3 Treffer
- floating-point arithmetic 3 Treffer
- formal methods 3 Treffer
- graph theory 3 Treffer
- planarity 3 Treffer
- round-off error 3 Treffer
- term rewriting systems 3 Treffer
- types 3 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 2 Treffer
- [info.info-gt]computer science [cs]/computer science and game theory [cs.gt] 2 Treffer
- acm: d.: software 2 Treffer
- acm: f.: theory of computation 2 Treffer
- acm: i.: computing methodologies 2 Treffer
- constructive type theory 2 Treffer
- natural semantics 2 Treffer
- pattern-matching 2 Treffer
- rewriting-calculus 2 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 1 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 1 Treffer
- bidirectional typing 1 Treffer
- certified software 1 Treffer
- coinductive types 1 Treffer
- formal proof 1 Treffer
- hypermaps 1 Treffer
- lang 1 Treffer
Verlag
Sprache
Geographischer Bezug
35 Treffer
-
In: 26th International Conference on Types for Proofs and Programs (TYPES 2020) ; https://hal.science/hal-03457352 ; 26th International Conference on Types for Proofs and Programs (TYPES 2020), Mar 2020, Turin, Italy, 2020KonferenzZugriff:
-
In: 26th International Conference on Types for Proofs and Programs (TYPES 2020) ; https://hal.science/hal-03457352 ; 26th International Conference on Types for Proofs and Programs (TYPES 2020), Mar 2020, Turin, Italy, 2020KonferenzZugriff:
-
In: 26th International Conference on Types for Proofs and Programs (TYPES 2020) ; https://hal.science/hal-03457352 ; 26th International Conference on Types for Proofs and Programs (TYPES 2020), Mar 2020, Turin, Italy, 2020KonferenzZugriff:
-
In: 26th International Conference on Types for Proofs and Programs (TYPES 2020) ; https://hal.archives-ouvertes.fr/hal-03457352 ; 26th International Conference on Types for Proofs and Programs (TYPES 2020), Mar 2020, Turin, Italy, 2020KonferenzZugriff:
-
In: ARITH 2021 - 28th IEEE International Symposium on Computer Arithmetic ; https://inria.hal.science/hal-03233227 ; ARITH 2021 - 28th IEEE International Symposium on Computer Arithmetic, Jun 2021, Online, Italy, 2021Online KonferenzZugriff:
-
In: ITP 2021 - 12th International Conference on Interactive Theorem Proving ; https://hal.science/hal-03139924 ; ITP 2021 - 12th International Conference on Interactive Theorem Proving, Jun 2021, Rome, Italy. pp.1-19, ⟨10.4230/LIPIcs.ITP.2021.24⟩, 2021Online KonferenzZugriff:
-
In: ITP 2021 - 12th International Conference on Interactive Theorem Proving ; https://hal.science/hal-03142192 ; ITP 2021 - 12th International Conference on Interactive Theorem Proving, Jun 2021, Rome, Italy. pp.17:1--17:17, 2021Online KonferenzZugriff:
-
In: ARITH 2021 - 28th IEEE International Symposium on Computer Arithmetic ; https://hal.inria.fr/hal-03233227 ; ARITH 2021 - 28th IEEE International Symposium on Computer Arithmetic, Jun 2021, Online, Italy, 2021Online KonferenzZugriff:
-
In: ITP 2021 - 12th International Conference on Interactive Theorem Proving ; https://hal.science/hal-03142192 ; ITP 2021 - 12th International Conference on Interactive Theorem Proving, Jun 2021, Rome, Italy. pp.17:1--17:17, 2021Online KonferenzZugriff:
-
In: ARITH 2021 - 28th IEEE International Symposium on Computer Arithmetic ; https://inria.hal.science/hal-03233227 ; ARITH 2021 - 28th IEEE International Symposium on Computer Arithmetic, Jun 2021, Online, Italy, 2021Online KonferenzZugriff:
-
In: ITP 2021 - 12th International Conference on Interactive Theorem Proving ; https://hal.science/hal-03142192 ; ITP 2021 - 12th International Conference on Interactive Theorem Proving, Jun 2021, Rome, Italy. pp.17:1--17:17, 2021Online KonferenzZugriff:
-
In: ISSN: 2075-2180 ; Electronic Proceedings in Theoretical Computer Science ; Proceedings GandALF 2017 ; 8th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2017) ; https://hal.science/hal-03434697 ; 8th International Symposium on Games, 2017KonferenzZugriff:
-
In: ISSN: 2075-2180 ; Electronic Proceedings in Theoretical Computer Science ; Proceedings GandALF 2017 ; 8th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2017) ; https://hal.science/hal-03434697 ; 8th International Symposium on Games, 2017KonferenzZugriff:
-
In: ISSN: 2075-2180 ; Electronic Proceedings in Theoretical Computer Science ; Proceedings GandALF 2017 ; 8th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2017) ; https://hal.archives-ouvertes.fr/hal-03434697 ; 8th International Symposium on Games, 2017KonferenzZugriff:
-
In: Types 2008 ; https://hal.inria.fr/inria-00322331, 2008Online KonferenzZugriff:
-
In: Types 2008 ; https://inria.hal.science/inria-00322331, 2008Online KonferenzZugriff:
-
In: Coq Workshop 2021 ; https://hal.inria.fr/hal-03482649 ; Coq Workshop 2021, Jul 2021, Rome, Italy, 2021Online KonferenzZugriff:
-
In: 26th International Conference on Types for Proofs and Programs, TYPES 2020 ; https://hal.science/hal-02995160 ; 26th International Conference on Types for Proofs and Programs, 2020KonferenzZugriff:
-
In: 26th International Conference on Types for Proofs and Programs, TYPES 2020 ; https://hal.archives-ouvertes.fr/hal-02995160 ; 26th International Conference on Types for Proofs and Programs, 2020KonferenzZugriff:
-
In: Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008Online KonferenzZugriff: