Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-db]computer science [cs]/databases [cs.db] 7 Treffer
- theorem proving 7 Treffer
- graph queries 6 Treffer
- incremental maintenance 5 Treffer
- finite semantics 4 Treffer
-
18 weitere Werte:
- graph views 4 Treffer
- regular datalog 4 Treffer
- certification 2 Treffer
- coq 2 Treffer
- libraries 2 Treffer
- proof 2 Treffer
- real analysis 2 Treffer
- relation 2 Treffer
- rewriting 2 Treffer
- termination 2 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 1 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- acm: d.: software/d.3: programming languages 1 Treffer
- acm: d.: software/d.3: programming languages/d.3.1: formal definitions and theory 1 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs 1 Treffer
- acm: g.: mathematics of computing/g.4: mathematical software/g.4.8: verification 1 Treffer
- real arithmetic 1 Treffer
- well-founded 1 Treffer
Publikation
Sprache
17 Treffer
-
In: ISSN: 0960-1295, 2011Online academicJournalZugriff:
-
In: ISSN: 0960-1295, 2011Online academicJournalZugriff:
-
In: ISSN: 0960-1295, 2007academicJournalZugriff:
-
In: ISSN: 1471-0684, 2018Online academicJournalZugriff:
-
In: ISSN: 1471-0684, 2018Online academicJournalZugriff:
-
In: ISSN: 1471-0684, 2018Online academicJournalZugriff:
-
In: ISSN: 1471-0684, 2018Online academicJournalZugriff:
-
In: ISSN: 1471-0684, 2018Online academicJournalZugriff:
-
In: ISSN: 1471-0684, 2018Online academicJournalZugriff:
-
In: ISSN: 1471-0684, 2018Online academicJournalZugriff:
-
In: ISSN: 0960-1295, 2016Online academicJournalZugriff:
-
In: ISSN: 0960-1295, 2016Online academicJournalZugriff:
-
In: ISSN: 0956-7968, 2021academicJournalZugriff:
-
In: ISSN: 0956-7968, 2021academicJournalZugriff:
-
In: ISSN: 0956-7968, 2018Online academicJournalZugriff:
-
In: ISSN: 0960-1295, 2008Online academicJournalZugriff:
-
In: ISSN: 0960-1295, 2006Online academicJournalZugriff: