Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 23 Treffer
- coq proof assistant 8 Treffer
- technical specifications 8 Treffer
- verification 8 Treffer
- theorem proving 7 Treffer
-
45 weitere Werte:
- dependent types 6 Treffer
- evidence 6 Treffer
- interactive theorem proving 6 Treffer
- programming languages 6 Treffer
- reo 6 Treffer
- semantics 6 Treffer
- algorithms 5 Treffer
- hoare logic 5 Treffer
- lambda calculus 5 Treffer
- reasoning 5 Treffer
- calculus 4 Treffer
- case studies 4 Treffer
- compilers (computer programs) 4 Treffer
- dynamic logic 4 Treffer
- first-order logic 4 Treffer
- logic 4 Treffer
- mathematical equivalence 4 Treffer
- mathematical functions 4 Treffer
- mathematical induction 4 Treffer
- recursion theory 4 Treffer
- coinduction 3 Treffer
- complexity 3 Treffer
- connector 3 Treffer
- controlled natural language 3 Treffer
- coordination 3 Treffer
- coordination language 3 Treffer
- formal verification 3 Treffer
- hypervisor 3 Treffer
- operational semantics 3 Treffer
- prng 3 Treffer
- provable security 3 Treffer
- ada 2 Treffer
- agda 2 Treffer
- algorithm 2 Treffer
- application software 2 Treffer
- assembly language 2 Treffer
- assembly languages (electronic computers) 2 Treffer
- axioms 2 Treffer
- biorthogonal systems 2 Treffer
- blockchains 2 Treffer
- categories (mathematics) 2 Treffer
- coinduction (mathematics) 2 Treffer
- coinductive types 2 Treffer
- composition operators 2 Treffer
- computable functions 2 Treffer
Sprache
26 Treffer
-
In: Science of Computer Programming, Jg. 208 (2021-08-01), S. N.PAGacademicJournalZugriff:
-
In: Science of Computer Programming, Jg. 203 (2021-03-01), S. N.PAGacademicJournalZugriff:
-
In: Science of Computer Programming, Jg. 202 (2021-02-01), S. N.PAGacademicJournalZugriff:
-
In: Science of Computer Programming, Jg. 197 (2020-10-01), S. N.PAGacademicJournalZugriff:
-
In: Science of Computer Programming, Jg. 196 (2020-09-15), S. N.PAGacademicJournalZugriff:
-
In: Science of Computer Programming, Jg. 184 (2019-10-01), S. N.PAGOnline academicJournalZugriff: