Sortiert nach
ACM transactions on computational logic, 2016-03, Vol.17 (2), p.1-35
2016
Link zum Volltext
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on computer science logic (csl) and the twenty-ninth annual acm/ieee symposium on logic in computer science (lics), 2014, p.1-10
2014
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Theory & Methods
- Logic
- Model Checking
- Parameterized Complexity
- Partially Ordered Sets
- Science & Technology
- Technology
- Width
- Algorithms
- Complexity
- Computational Mathematics
- General Computer Science
- Graph Theory
- Mathematical Analysis
- Mathematics Of Computing -- Discrete Mathematics
- Sentences
- Set Theory
- Theoretical Computer Science
Kollektion
Zeitschrift / Serie