Sortiert nach
ACM transactions on programming languages and systems, 2019-06, Vol.41 (2), p.1-38, Article 11
2019
Volltextzugriff (PDF)
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-13
2022
Volltextzugriff (PDF)
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, p.1-14
2019
Volltextzugriff (PDF)
ACM transactions on computational logic, 2017-08, Vol.18 (3), p.1-42
2017
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-28
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2020, Vol.320, p.167-196
2020
Volltextzugriff (PDF)
ACM transactions on computational logic, 2021-08, Vol.22 (3), p.1-51
2021
Volltextzugriff (PDF)
Artificial intelligence, 2018-08, Vol.261, p.1-15
2018
Volltextzugriff (PDF)
ACM transactions on computational logic, 2021-05, Vol.22 (2), p.1-37
2021
Volltextzugriff (PDF)
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.1-15
2015
Volltextzugriff (PDF)
Information and computation, 2018-08, Vol.261, p.488-518
2018
Volltextzugriff (PDF)
Automata, Languages, and Programming, p.325-336
Volltextzugriff (PDF)
Static Analysis, p.454-476
Volltextzugriff (PDF)
The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recursion Schemes Is Decidable
2005
Volltextzugriff (PDF)
Logical methods in computer science, 2008-12, Vol.4, Issue 4
2008
Volltextzugriff (PDF)
Logical methods in computer science, 2009-02, Vol.5, Issue 1
2009
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2017, p.3-15
2017
Volltextzugriff (PDF)
Formal Methods and Software Engineering, p.192-208
Volltextzugriff (PDF)
Formal Methods and Software Engineering, p.481-495
Volltextzugriff (PDF)
Lecture notes in computer science, 2011, Vol.6690, p.107-122
2011
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, Software Engineering
- Life Sciences & Biomedicine
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Theoretical Computing
- Logical, Boolean And Switching Functions
- Humans
- Computer Certification
- History Of Engineering & Technology
- Information Technology Industries
- Mathematics
- Physical Sciences
- Mathematics, Applied
- Logic
- Science & Technology - Other Topics
Kollektion
- Ingenta
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Free E-Journals
- IngentaConnect Journals
- MEDLINE
- ACM Digital Library Complete
- Journals@OVID
- Elsevier ScienceDirect Journals
- IEEE Xplore (IEEE/IET Electronic Library - IEL)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Single Journals
- SpringerLink_现刊
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Oxford University Press Journals Current
- Oxford Journals 2020 Medicine
- Wiley Journals
- British Medical Journals Online Archive (BMJ)
- Taylor & Francis Journals Complete
Zeitschrift / Serie
Neu hinzugefügt