Sortiert nach
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
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Theory & Methods
- Logic
- Mathematics Of Computing -- Discrete Mathematics
- Model Checking
- Parameterized Complexity
- Partially Ordered Sets
- Science & Technology
- Science & Technology - Other Topics
- Technology
- Theory Of Computation -- Logic
- Theory Of Computation -- Models Of Computation -- Computability
- Width