CALF : Categorical automata learning framework. / Van Heerdt, Gerco; Sammartino, Matteo; Silva, Alexandra.

Computer Science Logic 2017, CSL 2017. ed. / Valentin Goranko; Mads Dam. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2017. p. 1-24 29 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 82).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

CALF : Categorical automata learning framework. / Van Heerdt, Gerco; Sammartino, Matteo; Silva, Alexandra.

Computer Science Logic 2017, CSL 2017. ed. / Valentin Goranko; Mads Dam. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2017. p. 1-24 29 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 82).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Van Heerdt, G, Sammartino, M & Silva, A 2017, CALF: Categorical automata learning framework. in V Goranko & M Dam (eds), Computer Science Logic 2017, CSL 2017., 29, Leibniz International Proceedings in Informatics, LIPIcs, vol. 82, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, pp. 1-24, 26th Annual EACSL Conference on Computer Science Logic, CSL 2017, Stockholm, Sweden, 20/08/17. https://doi.org/10.4230/LIPIcs.CSL.2017.29

APA

Van Heerdt, G., Sammartino, M., & Silva, A. (2017). CALF: Categorical automata learning framework. In V. Goranko, & M. Dam (Eds.), Computer Science Logic 2017, CSL 2017 (pp. 1-24). [29] (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 82). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CSL.2017.29

Vancouver

Van Heerdt G, Sammartino M, Silva A. CALF: Categorical automata learning framework. In Goranko V, Dam M, editors, Computer Science Logic 2017, CSL 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 2017. p. 1-24. 29. (Leibniz International Proceedings in Informatics, LIPIcs). https://doi.org/10.4230/LIPIcs.CSL.2017.29

Author

Van Heerdt, Gerco ; Sammartino, Matteo ; Silva, Alexandra. / CALF : Categorical automata learning framework. Computer Science Logic 2017, CSL 2017. editor / Valentin Goranko ; Mads Dam. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2017. pp. 1-24 (Leibniz International Proceedings in Informatics, LIPIcs).

BibTeX

@inproceedings{d3cc08fc86d54c2bbf28762f5f585b79,
title = "CALF: Categorical automata learning framework",
keywords = "Automata learning, Category theory",
author = "{Van Heerdt}, Gerco and Matteo Sammartino and Alexandra Silva",
year = "2017",
month = aug,
doi = "10.4230/LIPIcs.CSL.2017.29",
language = "English",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
pages = "1--24",
editor = "Valentin Goranko and Mads Dam",
booktitle = "Computer Science Logic 2017, CSL 2017",
note = "26th Annual EACSL Conference on Computer Science Logic, CSL 2017 ; Conference date: 20-08-2017 Through 24-08-2017",

}

RIS

TY - GEN

T1 - CALF

T2 - 26th Annual EACSL Conference on Computer Science Logic, CSL 2017

AU - Van Heerdt, Gerco

AU - Sammartino, Matteo

AU - Silva, Alexandra

PY - 2017/8

Y1 - 2017/8

KW - Automata learning

KW - Category theory

U2 - 10.4230/LIPIcs.CSL.2017.29

DO - 10.4230/LIPIcs.CSL.2017.29

M3 - Conference contribution

AN - SCOPUS:85028714426

T3 - Leibniz International Proceedings in Informatics, LIPIcs

SP - 1

EP - 24

BT - Computer Science Logic 2017, CSL 2017

A2 - Goranko, Valentin

A2 - Dam, Mads

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

Y2 - 20 August 2017 through 24 August 2017

ER -