Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 4 Treffer
- proof theory 3 Treffer
- calculus 2 Treffer
- concurrency 2 Treffer
- evidence 2 Treffer
-
45 weitere Werte:
- first-order logic 2 Treffer
- formal verification 2 Treffer
- iris 2 Treffer
- mathematical logic 2 Treffer
- separation logic 2 Treffer
- actor model 1 Treffer
- algorithms 1 Treffer
- argument 1 Treffer
- automated theorem proving 1 Treffer
- axiomatic design 1 Treffer
- bacopa monnieri 1 Treffer
- calculi 1 Treffer
- church 1 Treffer
- clock constraint specification language 1 Treffer
- coherent logic 1 Treffer
- coinduction 1 Treffer
- computer engineering 1 Treffer
- computer science 1 Treffer
- conditionals (logic) 1 Treffer
- conference papers 1 Treffer
- constraint solving 1 Treffer
- contracts 1 Treffer
- coq proof assistant 1 Treffer
- cut elimination 1 Treffer
- cut-elimination 1 Treffer
- dynamic logic 1 Treffer
- encoding 1 Treffer
- exclusive & concurrent legislative powers 1 Treffer
- flavor 1 Treffer
- focusing 1 Treffer
- goal programming 1 Treffer
- higher-order functions 1 Treffer
- hoare logic 1 Treffer
- hypervisor 1 Treffer
- interactive theorem proving 1 Treffer
- language policy 1 Treffer
- linear logic 1 Treffer
- machinery 1 Treffer
- mathematical induction 1 Treffer
- memory 1 Treffer
- message passing 1 Treffer
- message passing (computer science) 1 Treffer
- metatheory 1 Treffer
- modal logic 1 Treffer
- natural languages 1 Treffer
Verlag
Publikation
Sprache
12 Treffer
-
In: Logic Journal of the IGPL, Jg. 28 (2020-12-01), Heft 6, S. 1077-1092Online academicJournalZugriff:
-
In: Logical Methods in Computer Science (LMCS), Jg. 17 (2021-07-01), Heft 3, S. 1-59Online academicJournalZugriff:
-
In: Journal of the ACM, Jg. 71 (2024-02-01), Heft 1, S. 1-59Online academicJournalZugriff:
-
In: International Journal of Performability Engineering, 2019-11-15, Heft 11, S. 2998-3007Online academicJournalZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 32 (2022-10-01), Heft 9, S. 1205-1233Online academicJournalZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 31 (2021-03-01), Heft 3, S. 312-340Online academicJournalZugriff:
-
In: Logical Methods in Computer Science (LMCS), Jg. 18 (2022-04-01), Heft 2, S. 1-64Online academicJournalZugriff:
-
In: Science of Computer Programming, Jg. 186 (2020-02-01), S. N.PAGOnline academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 66 (2022-11-01), Heft 4, S. 689-746Online academicJournalZugriff:
-
In: Theoretical Computer Science, Jg. 768 (2019-05-10), S. 76-90Online academicJournal
-
In: Journal of Computer Science & Technology (10009000), Jg. 22 (2007-05-31), Heft 3, S. 426-437Online academicJournalZugriff:
-
In: Science of Computer Programming, Jg. 202 (2021-02-01), S. N.PAGacademicJournalZugriff: