Sortiert nach
Journal of computer and system sciences, 2024-02, Vol.139, p.103478, Article 103478
2024
Volltextzugriff (PDF)
Journal of the ACM, 2014-11, Vol.61 (6), p.1-35
2014
Volltextzugriff (PDF)
Journal of computer and system sciences, 2018-02, Vol.91, p.82-103
2018
Volltextzugriff (PDF)
Fundamentals of Computation Theory, p.149-161
Volltextzugriff (PDF)
Journal of computer and system sciences, 2017-03, Vol.84, p.144-170
2017
Volltextzugriff (PDF)
Journal of computer and system sciences, 2015-02, Vol.81 (1), p.288-310
2015
Volltextzugriff (PDF)
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, p.676-688
2020
Volltextzugriff (PDF)
ACM transactions on modeling and computer simulation, 2019-12, Vol.29 (4), p.1-26
2019
Volltextzugriff (PDF)
Formal methods in system design, 2013-10, Vol.43 (2), p.124-163
2013
Volltextzugriff (PDF)
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.1-10
2018
Volltextzugriff (PDF)
Information and computation, 2010-07, Vol.208 (7), p.772-796
2010
Volltextzugriff (PDF)
Journal of the European Mathematical Society : JEMS, 2016-01, Vol.18 (4), p.773-812
2016
Volltextzugriff (PDF)
Logical methods in computer science, 2014-02, Vol.10, Issue 1
2014
Volltextzugriff (PDF)
Information and computation, 2003-11, Vol.186 (2), p.355-376
2003
Volltextzugriff (PDF)
Information and computation, 2011-08, Vol.209 (8), p.1160-1183
2011
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.462-478
Volltextzugriff (PDF)
2010 edition., 2010
Volltextzugriff (PDF)
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.185-194
2018
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.32-49
Volltextzugriff (PDF)
Annals of pure and applied logic, 2011-06, Vol.162 (7), p.504-513
2011
Volltextzugriff (PDF)
Information and computation, 2013-01, Vol.222, p.121-138
2013
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Mathematics
- Physical Sciences
- Mathematics, Applied
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Theoretical Computing
- Logic
- Programming Theory
- Science & Technology - Other Topics
- Model Check
- Computer Science, Software Engineering
- Algorithmics. Computability. Computer Arithmetics
- Automata. Abstract Machines. Turing Machines
- Software
- Label Transition System
Kollektion
- IngentaConnect
- Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- ScienceDirect Journals (5 years ago - present)
- ACM Digital Library Complete
- IEEE Electronic Library (IEL)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- JSTOR Archive Collection A-Z Listing
- Cambridge Journals Online (DEFF)
- Project Euclid Complete
- Springer Nature - Complete Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- De Gruyter journals
- EBSCOhost Business Source Ultimate
- Reference Global
- Oxford Journals Current Collection
- Single Journals
Zeitschrift / Serie
Neu hinzugefügt