Sortiert nach
Discrete Applied Mathematics, 2014-05, Vol.168, p.88-107
2014
Link zum Volltext
Logical methods in computer science, 2015-12, Vol.11, Issue 4
2015
Link zum Volltext
Random structures & algorithms, 2017-07, Vol.50 (4), p.612-635
2017
Link zum Volltext
Journal of computer and system sciences, 2017-03, Vol.84, p.219-242
2017
Link zum Volltext
ACM transactions on computational logic, 2020-10, Vol.21 (4), p.1-23
2020
Link zum Volltext
Journal of combinatorial theory. Series B, 2012-07, Vol.102 (4), p.900-923
2012
Link zum Volltext
Logical methods in computer science, 2019, Vol.15 (1)
2019
Link zum Volltext
Journal of combinatorial theory. Series B, 2016-01, Vol.116, p.250-286
2016
Link zum Volltext
Journal of computer and system sciences, 2014-02, Vol.80 (1), p.180-194
2014
Link zum Volltext
Computer Aided Verification, 2003, p.80-92
2003
Link zum Volltext
European journal of combinatorics, 2013-04, Vol.34 (3), p.680-701
2013
Link zum Volltext
European journal of combinatorics, 2016-08, Vol.56, p.46-56
2016
Link zum Volltext
Logical methods in computer science, 2015-12, Vol.11, Issue 4
2015
Link zum Volltext
Information and computation, 2011-08, Vol.209 (8), p.1160-1183
2011
Link zum Volltext
Computer Science Logic, p.54-68
Link zum Volltext
Logical methods in computer science, 2019
2019
Link zum Volltext
The bulletin of symbolic logic, 2005-12, Vol.11 (4), p.541-542
2005
Link zum Volltext
Combinatorial Algorithms, p.164-177
Link zum Volltext
Parameterized and Exact Computation, p.135-146
Link zum Volltext
Algorithms and Computation, p.441-451
Link zum Volltext
Automated Technology for Verification and Analysis, p.453-462
Link zum Volltext
Automata, Languages, and Programming, p.250-262
Link zum Volltext
Parameterized and Exact Computation, 2014, Vol.8894, p.258-269
2014
Link zum Volltext
Parameterized and Exact Computation, p.185-197
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Mathematics
- Physical Sciences
- Graphs
- Logic
- Mathematics, Applied
- Mobile Robot
- Model Check
- Parameterized Complexity
- Robotics
- Clique-Width
- Science & Technology - Other Topics
- Combinatorics
- Complexity
- Computer Science - Discrete Mathematics
- Computer Science - Logic In Computer Science
- Tree-Width
Kollektion
- IngentaConnect
- SpringerLink Series
- Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library Journals Frontfile Complete
- JSTOR
- Wiley Online Library Full Collection 2018
- Project Euclid_欧几里德项目期刊
- Cambridge Journals Online (DEFF)
- ACM Digital Library Complete
- IEEE Xplore
Zeitschrift / Serie
- Logical Methods In Computer Science
- Journal Of Computer And System Sciences
- European Journal Of Combinatorics
- Journal Of Basic Microbiology
- Journal Of Combinatorial Theory. Series B
- The Bulletin Of Symbolic Logic
- Acm Transactions On Computational Logic
- Arxiv
- Bulletin Of Symbolic Logic
- Discrete Applied Mathematics