State Space Reduction For Parity Automata
The work
| Title | State Space Reduction For Parity Automata |
|---|---|
| Authors | Christof Löding; Andreas Tollkötter |
| Type | conference paper |
| Year | 2020 |
| Citekey | loding2020state |
Where it appeared
| Published in | 28th EACSL Annual Conference on Computer Science Logic (CSL 2020) |
|---|---|
| Publisher | Schloss Dagstuhl – Leibniz-Zentrum für Informatik |
| Volume | 152 |
| Pages | 27:1--27:16 |
Identifiers
| DOI | 10.4230/lipics.csl.2020.27 |
|---|
Copy held
| Kind | PDF, 547.0 kB |
|---|---|
| Retrieved | 2026-08-06 |
| Held | local, for personal reference |
Where this came from
| How it got here | already cited · cited in bibtex |
|---|---|
| First seen | 2026-08-06 |
| Standing | endorsed |
| Approved | 2026-08-07 |
Cite it as
@inproceedings{loding2020state,
title = {State Space Reduction For Parity Automata},
author = {Christof Löding and Andreas Tollkötter},
year = {2020},
booktitle = {28th EACSL Annual Conference on Computer Science Logic (CSL 2020)},
volume = {152},
pages = {27:1--27:16},
publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
doi = {10.4230/lipics.csl.2020.27},
}
This record lives at https://refs.drheap.org/loding2020state/ and will keep doing so.