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
Original languageEnglish
Title of host publicationComputer Science Logic 2017, CSL 2017
EditorsValentin Goranko, Mads Dam
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages1-24
Number of pages24
ISBN (Electronic)9783959770453
DOIs
Publication statusPublished - Aug 2017
Event26th Annual EACSL Conference on Computer Science Logic, CSL 2017 - Stockholm, Sweden
Duration: 20 Aug 201724 Aug 2017

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume82
ISSN (Print)1868-8969

Conference

Conference26th Annual EACSL Conference on Computer Science Logic, CSL 2017
CountrySweden
CityStockholm
Period20/08/1724/08/17
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 36024900