Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 82 Treffer
- theory of computation → type theory 45 Treffer
- theory of computation → logic and verification 34 Treffer
- software and its engineering → formal software verification 11 Treffer
- theory of computation → constructive mathematics 11 Treffer
-
45 weitere Werte:
- proof assistant 10 Treffer
- type theory 10 Treffer
- formal proof 9 Treffer
- software and its engineering → formal methods 9 Treffer
- [info]computer science [cs] 8 Treffer
- lambda calculus 7 Treffer
- proof assistants 7 Treffer
- dependent type theory 6 Treffer
- formal verification 6 Treffer
- rewriting 6 Treffer
- theory of computation → automated reasoning 6 Treffer
- theory of computation → operational semantics 6 Treffer
- theory of computation → program verification 6 Treffer
- undecidability 6 Treffer
- verification 6 Treffer
- certification 5 Treffer
- coinduction 5 Treffer
- constructive type theory 5 Treffer
- dependent types 5 Treffer
- double categories 5 Treffer
- impredicativity 5 Treffer
- intersection types 5 Treffer
- logical framework 5 Treffer
- program verification 5 Treffer
- self-stabilization 5 Treffer
- semantics 5 Treffer
- separation logic 5 Treffer
- theory of computation → equational logic and rewriting 5 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 4 Treffer
- computability theory 4 Treffer
- computer systems organization → real-time systems 4 Treffer
- concurrency 4 Treffer
- edf 4 Treffer
- fixed priority 4 Treffer
- formal proofs 4 Treffer
- general and reference → verification 4 Treffer
- hard real-time systems 4 Treffer
- homotopy type theory 4 Treffer
- monads 4 Treffer
- network calculus 4 Treffer
- non-preemptive 4 Treffer
- operational semantics 4 Treffer
- planarity 4 Treffer
- preemptive 4 Treffer
- programming language 4 Treffer
Verlag
Publikation
- leibniz international proceedings in informatics (lipics) ; fscd 2023 - 8th international conference on formal structures for computation and deduction ; https://hal.science/hal-04222049 ; fscd 2023 - 8th international conference on formal structures for computation and deduction, jul 2023, rome, italy. pp.17:1-17:20, ⟨10.4230/lipics.fscd.2023.17⟩ 2 Treffer
- $2 1 Treffer
Sprache
Geographischer Bezug
161 Treffer
-
In: $2, 2023Online academicJournalZugriff:
-
2022KonferenzZugriff:
-
2022academicJournalZugriff:
-
2021KonferenzZugriff:
-
2021KonferenzZugriff: