Sortiert nach
Logical methods in computer science, 2019-12, Vol.15 (4)
2019
Link zum Volltext
Logical methods in computer science, 2020-01, Vol.16 (1)
2020
Link zum Volltext
Logical methods in computer science, 2018-01, Vol.14 (4)
2018
Link zum Volltext
Logical methods in computer science, 2019-01, Vol.15, Issue 2
2019
Link zum Volltext
Implementation and Application of Automata, p.292-305
Link zum Volltext
Theoretical computer science, 2015-05, Vol.578 (578), p.100-125
2015
Link zum Volltext
Proceedings of the 31st Annual ACM/IEEE Symposium on logic in computer science, 2016, p.387-396
2016
Link zum Volltext
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, p.1-12
2017
Link zum Volltext
Information processing letters, 2008-12, Vol.109 (1), p.13-17
2008
Link zum Volltext
Information and computation, 2011-03, Vol.209 (3), p.409-442
2011
Link zum Volltext
Implementation and Application of Automata, p.3-15
Link zum Volltext
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016, p.1-10
2016
Link zum Volltext
Computer networks (Amsterdam, Netherlands : 1999), 2014-06, Vol.65, p.232-254
2014
Link zum Volltext
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013, p.468-477
2013
- Link zum Volltext
Language and Automata Theory and Applications, 2013, Vol.7810, p.190-201
2013
Link zum Volltext
Fundamentals of Computation Theory, p.121-132
Link zum Volltext
Lecture Notes in Computer Science, 2013, Vol.8174, p.76-93
2013
Link zum Volltext
Journal of logic and computation, 2007-10, Vol.17 (5), p.909-937
2007
Link zum Volltext
RAIRO. Informatique théorique et applications, 2012-01, Vol.46 (1), p.33-50
2012
Link zum Volltext
Computer Science Logic, p.80-94
Link zum Volltext
Lecture notes in computer science, 2005, p.514-526
2005
Link zum Volltext
Language and Automata Theory and Applications, p.350-361
Link zum Volltext
Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013, p.468-477
2013
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Logic
- Formal Languages And Automata Theory
- Science & Technology - Other Topics
- Automata
- Data Structures And Algorithms
- Applied Sciences
- Computer Science - Formal Languages And Automata Theory
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Mathematics
- Tree Automata
- Tree Automaton
- Algebraic Characterizations
- Artificial Intelligence
- Definability Problems
- First-Order Logic
Kollektion
- Ingenta
- SpringerLink Series
- EZB Electronic Journals Library
- IEL
- Elsevier ScienceDirect Journals Complete
- ACM Digital Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- Oxford University Press Journals Current
- eBooks on EBSCOhost
- IngentaConnect Journals
- Springer Books