Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Theorem Proving in Higher Order Logics, p.452-468
Volltextzugriff (PDF)
Journal of Formalized Reasoning, 2014-01, Vol.7 (1), p.45-62
2014
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-10, Vol.167 (Proc. UITP 2014), p.61-72
2014
Volltextzugriff (PDF)
Logical methods in computer science, 2019-01, Vol.15, Issue 3
2019
Volltextzugriff (PDF)
Frontiers of Combining Systems, p.3-21
Volltextzugriff (PDF)
Journal of automated reasoning, 2013-12, Vol.51 (4), p.357-370
2013
Volltextzugriff (PDF)
Well-Quasi Orders in Computation, Logic, Language and Reasoning, 2020, Vol.53, p.339-350
2020
Volltextzugriff (PDF)
Automated Deduction – CADE 27, 2019, p.508-525
2019
Volltextzugriff (PDF)
Automated Deduction - CADE 26, 2017, Vol.10395, p.413-431
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2010-12, Vol.44 (Proc. IWS 2010), p.51-65
2010
Volltextzugriff (PDF)
Interactive Theorem Proving, 2014, p.292-307
2014
Volltextzugriff (PDF)
Certified Programs and Proofs, p.178-193
Volltextzugriff (PDF)
Rewriting Techniques and Applications, p.336-350
Volltextzugriff (PDF)
Rewriting and Typed Lambda Calculi, p.441-455
Volltextzugriff (PDF)
Rewriting Techniques and Applications, p.295-304
Volltextzugriff (PDF)
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019, p.144-151
2019
Volltextzugriff (PDF)
Interactive Theorem Proving, 2015, p.421-437
2015
Volltextzugriff (PDF)
Interactive Theorem Proving, p.266-282
Volltextzugriff (PDF)
Computer Science Logic, p.514-528
Volltextzugriff (PDF)
Interactive Theorem Proving, 2018, Vol.10895, p.441-458
2018
Volltextzugriff (PDF)
Rewriting Techniques and Applications, p.17-31
Volltextzugriff (PDF)
Frontiers of Combining Systems, p.243-258
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2015-04, Vol.312, p.51-67
2015
Volltextzugriff (PDF)
Interactive Theorem Proving, p.152-167
Volltextzugriff (PDF)
SOFSEM 2010: Theory and Practice of Computer Science, p.755-766
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Artificial Intelligence
- Term Rewriting
- Certification
- Isabelle/hol
- Formalization
- Logic
- Mathematics
- Science & Technology - Other Topics
- Termination
- Code Generation
- Computer Science, Software Engineering
- Dickson's Lemma
- Function Symbol
- Higman's Lemma
- Interactive Theorem Proving
- Kruskal's Tree Theorem
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- EZB Electronic Journals Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- UTB Scholars
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- V&R eLibrary
- De Gruyter eBooks
- Brill Online Books
- ACM Digital Library
- Journals@Ovid
- SpringerLink