Sortiert nach
Logical methods in computer science, 2023-03, Vol.19, Issue 1
2023
Link zum Volltext
Logical methods in computer science, 2022-07, Vol.18, Issue 3
2022
Link zum Volltext
Logical methods in computer science, 2019-01, Vol.15, Issue 2
2019
Link zum Volltext
Information and computation, 2018-08, Vol.261, p.311-335
2018
Link zum Volltext
Formal aspects of computing, 2021, Vol.33 (1), p.3-25
2021
Link zum Volltext
Logical methods in computer science, 2021-03, Vol.17, Issue 1
2021
Link zum Volltext
Journal of computer and system sciences, 2018-11, Vol.97, p.147-181
2018
Link zum Volltext
Proceedings of the 31st Annual ACM/IEEE Symposium on logic in computer science, 2016, p.857-866
2016
Link zum Volltext
Theoretical computer science, 2015-05, Vol.578, p.13-29
2015
Link zum Volltext
Developments in Language Theory, 2018, Vol.11088, p.96-108
2018
Link zum Volltext
Foundations of Software Science and Computation Structures, p.215-230
Link zum Volltext
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013, p.468-477
2013
- Link zum Volltext
Foundations of Software Science and Computation Structures, p.162-178
Link zum Volltext
Information and computation, 2008, Vol.206 (1), p.73-107
2008
Link zum Volltext
LATIN 2006: Theoretical Informatics, 2006, p.238-249
2006
Link zum Volltext
Reachability Problems, 2019, Vol.11674, p.164-177
2019
Link zum Volltext
Automata, Languages, and Programming, p.209-221
Link zum Volltext
Applications and Theory of Petri Nets, p.69-88
Link zum Volltext
Foundations of Software Science and Computational Structures, p.229-244
Link zum Volltext
RAIRO. Informatique théorique et applications, 2013-01, Vol.47 (1), p.69-96
2013
Link zum Volltext
Hybrid Systems: Computation and Control, p.90-104
Link zum Volltext
Foundations of Software Science and Computational Structures, p.157-171
Link zum Volltext
CONCUR 2009 - Concurrency Theory, p.557-571
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Formal Languages And Automata Theory
- Computer Science, Software Engineering
- Logic In Computer Science
- Logic
- Science & Technology - Other Topics
- Mathematics
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Mathematics, Applied
- Physical Sciences
- Theoretical Computing
- Computer Science And Game Theory
- Automata. Abstract Machines. Turing Machines
- Computer Science - Formal Languages And Automata Theory
- Computer Science, Hardware & Architecture
Kollektion
- Ingenta
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- ACM Digital Library
- IEEE Electronic Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerNature Journals
Zeitschrift / Serie