Sortiert nach
Logical methods in computer science, 2022-10, Vol.18, Issue 4
2022
Link zum Volltext
Logical methods in computer science, 2023-01, Vol.19, Issue 4
2023
Link zum Volltext
Information and computation, 2021-04, Vol.277, p.104583, Article 104583
2021
Link zum Volltext
Discrete mathematics and theoretical computer science, 2017-12, Vol.19 (special issue FCT'15)
2017
Link zum Volltext
Discrete mathematics and theoretical computer science, 2016-05, Vol.17 no. 3 (Automata, Logic and Semantics), p.167-178
2016
Link zum Volltext
Theory of computing systems, 2018-01, Vol.62 (1), p.192-246
2018
Link zum Volltext
Journal of algebra, 2022-01, Vol.589, p.437-482
2022
Link zum Volltext
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, p.1-14
2019
Link zum Volltext
Automata, Languages, and Programming, p.440-451
Link zum Volltext
Reachability Problems, p.52-65
Link zum Volltext
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, p.1-12
2017
Link zum Volltext
Information and computation, 2015-08, Vol.243, p.191-204
2015
Link zum Volltext
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.1-32, Article 1
2024
Link zum Volltext
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.90-114, Article 4
2024
Link zum Volltext
Semigroup forum, 2017-12, Vol.95 (3), p.475-508
2017
Link zum Volltext
Proceedings of ACM on programming languages, 2021-01, Vol.5 (POPL), p.1-31
2021
Link zum Volltext
Proceedings of ACM on programming languages, 2022-01, Vol.6 (POPL), p.1-28
2022
Link zum Volltext
Theory of computing systems, 2017-04, Vol.60 (3), p.438-472
2017
Link zum Volltext
Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.2141-2170, Article 73
2023
Link zum Volltext
Automata, Languages, and Programming, p.434-445
Link zum Volltext
Proceedings of the 31st Annual ACM/IEEE Symposium on logic in computer science, 2016, p.457-466
2016
Link zum Volltext
Automata, Languages and Programming, p.175-186
Link zum Volltext
Developments in Language Theory, p.490-501
Link zum Volltext
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016, p.1-10
2016
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Mathematics
- Physical Sciences
- Computer Science, Software Engineering
- Decidability
- Logic
- Science & Technology - Other Topics
- Mathematics, Applied
- Theory Of Computation
- Storage Mechanism
- Automata
- Computational Complexity
- Computer Science - Formal Languages And Automata Theory
- Reachability
- Reachability Problem
- Regular Language
- Verification
Kollektion
- IngentaConnect Journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- HEAL-Link subscriptions: Springer Book Series
- Free E-Journal (出版社公開部分のみ）
- ACM Digital Library Complete
- IEEE/IET Electronic Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier ScienceDirect Journals Complete
- SpringerLink Journals - AutoHoldings
- Wiley Online Library Journals Frontfile Complete
- Business Source Ultimate
- MEDLINE
- ProQuest Dissertations & Theses A&I
- Wiley Online Library Full Collection 2018
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- NUS Single-Journal Subscriptions
Zeitschrift / Serie