Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 19 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 8 Treffer
- coq 8 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 7 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 4 Treffer
-
30 weitere Werte:
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 4 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 4 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 4 Treffer
- abstract interpretation 4 Treffer
- bdd 4 Treffer
- coq proof assistant 4 Treffer
- program proof 4 Treffer
- relevance logic 4 Treffer
- formal proof 3 Treffer
- hash-consing 3 Treffer
- interactive theorem proving 3 Treffer
- jar 3 Treffer
- logical frameworks 3 Treffer
- operational semantics 3 Treffer
- sequent calculi 3 Treffer
- de bruijn indices 2 Treffer
- formal methods 2 Treffer
- metatheory 2 Treffer
- proof assistants 2 Treffer
- the coq proof assistant 2 Treffer
- theorem proving 2 Treffer
- vst 2 Treffer
- compcert 1 Treffer
- compiler verification 1 Treffer
- edu 1 Treffer
- info 1 Treffer
- lang 1 Treffer
- phil 1 Treffer
- semantic preservation 1 Treffer
- variable binding 1 Treffer
Sprache
47 Treffer
-
In: ISSN: 0168-7433, 2014Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2014Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2014Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2014Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2023Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2023Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2008Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2008Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2008Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2008Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2016Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2016Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2016Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2016Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2009Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2009Online academicJournalZugriff: