Standard
Quotients of Bounded Natural Functors. / Fürer, Basil; Lochbihler, Andreas; Schneider, Joshua; Traytel, Dmitriy.
IJCAR 2020. ed. / Nicolas Peltier; Viorica Sofronie-Stokkermans. Vol. 12167 Springer, Cham, 2020. p. 58-78 (Lecture Notes in Computer Science, Vol. 12167).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Fürer, B, Lochbihler, A, Schneider, J
& Traytel, D 2020,
Quotients of Bounded Natural Functors. in N Peltier & V Sofronie-Stokkermans (eds),
IJCAR 2020. vol. 12167, Springer, Cham, Lecture Notes in Computer Science, vol. 12167, pp. 58-78.
https://doi.org/10.1007/978-3-030-51054-1_4
APA
Fürer, B., Lochbihler, A., Schneider, J.
, & Traytel, D. (2020).
Quotients of Bounded Natural Functors. In N. Peltier, & V. Sofronie-Stokkermans (Eds.),
IJCAR 2020 (Vol. 12167, pp. 58-78). Springer, Cham. Lecture Notes in Computer Science Vol. 12167
https://doi.org/10.1007/978-3-030-51054-1_4
Vancouver
Fürer B, Lochbihler A, Schneider J
, Traytel D.
Quotients of Bounded Natural Functors. In Peltier N, Sofronie-Stokkermans V, editors, IJCAR 2020. Vol. 12167. Springer, Cham. 2020. p. 58-78. (Lecture Notes in Computer Science, Vol. 12167).
https://doi.org/10.1007/978-3-030-51054-1_4
Author
Fürer, Basil ; Lochbihler, Andreas ; Schneider, Joshua ; Traytel, Dmitriy. / Quotients of Bounded Natural Functors. IJCAR 2020. editor / Nicolas Peltier ; Viorica Sofronie-Stokkermans. Vol. 12167 Springer, Cham, 2020. pp. 58-78 (Lecture Notes in Computer Science, Vol. 12167).
Bibtex
@inproceedings{6cb17c503f3f42c3943dd19f9a4e9486,
title = "Quotients of Bounded Natural Functors",
author = "Basil F{\"u}rer and Andreas Lochbihler and Joshua Schneider and Dmitriy Traytel",
year = "2020",
doi = "10.1007/978-3-030-51054-1_4",
language = "English",
volume = "12167",
series = "Lecture Notes in Computer Science",
publisher = "Springer, Cham",
pages = "58--78",
editor = "Nicolas Peltier and Viorica Sofronie-Stokkermans",
booktitle = "IJCAR 2020",
}
RIS
TY - GEN
T1 - Quotients of Bounded Natural Functors
AU - Fürer, Basil
AU - Lochbihler, Andreas
AU - Schneider, Joshua
AU - Traytel, Dmitriy
PY - 2020
Y1 - 2020
U2 - 10.1007/978-3-030-51054-1_4
DO - 10.1007/978-3-030-51054-1_4
M3 - Article in proceedings
VL - 12167
T3 - Lecture Notes in Computer Science
SP - 58
EP - 78
BT - IJCAR 2020
A2 - Peltier, Nicolas
A2 - Sofronie-Stokkermans, Viorica
PB - Springer, Cham
ER -