A Coalgebraic Decision Procedure for WS1S
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Standard
A Coalgebraic Decision Procedure for WS1S. / Traytel, Dmitriy.
CSL 2015. ed. / Stephan Kreutzer. Vol. 41 Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. p. 487-503 (LIPIcs).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Traytel, D 2015, A Coalgebraic Decision Procedure for WS1S. in S Kreutzer (ed.), CSL 2015. vol. 41, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, LIPIcs, pp. 487-503. https://doi.org/10.4230/LIPIcs.CSL.2015.487
APA
Traytel, D. (2015). A Coalgebraic Decision Procedure for WS1S. In S. Kreutzer (Ed.), CSL 2015 (Vol. 41, pp. 487-503). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. LIPIcs https://doi.org/10.4230/LIPIcs.CSL.2015.487
Vancouver
Traytel D. A Coalgebraic Decision Procedure for WS1S. In Kreutzer S, editor, CSL 2015. Vol. 41. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 2015. p. 487-503. (LIPIcs). https://doi.org/10.4230/LIPIcs.CSL.2015.487
Author
Bibtex
@inproceedings{fa08d1b0e4754f7cbd3ff40d9c96a349,
title = "A Coalgebraic Decision Procedure for WS1S",
author = "Dmitriy Traytel",
year = "2015",
doi = "10.4230/LIPIcs.CSL.2015.487",
language = "English",
volume = "41",
series = "LIPIcs",
pages = "487--503",
editor = "Stephan Kreutzer",
booktitle = "CSL 2015",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik",
}
RIS
TY - GEN
T1 - A Coalgebraic Decision Procedure for WS1S
AU - Traytel, Dmitriy
PY - 2015
Y1 - 2015
U2 - 10.4230/LIPIcs.CSL.2015.487
DO - 10.4230/LIPIcs.CSL.2015.487
M3 - Article in proceedings
VL - 41
T3 - LIPIcs
SP - 487
EP - 503
BT - CSL 2015
A2 - Kreutzer, Stephan
PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik
ER -
ID: 245669083