Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 23 Treffer
- technical specifications 8 Treffer
- verification 8 Treffer
- theorem proving 7 Treffer
- dependent types 6 Treffer
-
45 weitere Werte:
- evidence 6 Treffer
- interactive theorem proving 6 Treffer
- programming languages 6 Treffer
- reo 6 Treffer
- semantics 6 Treffer
- algorithms 5 Treffer
- coq proof assistant 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
- assembly language 3 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
- institution theory 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 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
Sprache
58 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Science of Computer Programming, Jg. 74 (2009-06-01), Heft 8, S. 568-589Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Science of Computer Programming, Jg. 126 (2016-09-15), S. 31-51Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Science of Computer Programming, Jg. 76 (2011-03-01), Heft 3, S. 204-224Online academicJournalZugriff:
-
In: Science of Computer Programming, Jg. 64 (2007-02-01), Heft 3, S. 332-340Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Science of Computer Programming, Jg. 77 (2012-09-01), Heft 10/11, S. 1058-1074Online academicJournalZugriff:
-
In: Science of Computer Programming, Jg. 233 (2024-03-01), S. N.PAGacademicJournalZugriff:
-
In: Science of Computer Programming, , Heft 10-11, S. 1058-1074Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 207 (2021-07-01), S. N.PAGacademicJournalZugriff:
-
In: Science of Computer Programming, Jg. 64 (2007-02-01), Heft 3, S. 332-340Online academicJournalZugriff: