A Coalgebraic Decision Procedure for WS1S
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Standard
A Coalgebraic Decision Procedure for WS1S. / Traytel, Dmitriy.
CSL 2015. red. / Stephan Kreutzer. Bind 41 Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. s. 487-503 (LIPIcs).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Traytel, D 2015, A Coalgebraic Decision Procedure for WS1S. i S Kreutzer (red.), CSL 2015. bind 41, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, LIPIcs, s. 487-503. https://doi.org/10.4230/LIPIcs.CSL.2015.487
APA
Traytel, D. (2015). A Coalgebraic Decision Procedure for WS1S. I S. Kreutzer (red.), CSL 2015 (Bind 41, s. 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. I Kreutzer S, red., CSL 2015. Bind 41. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 2015. s. 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