CALF: Categorical Automata Learning Framework

AuthID
 P-00N-22G
3
Author(s)
Heerdt, Gv
·
Sammartino, M
·
2
Editor(es)
Goranko,V;Dam,M
Tipo de Documento
Proceedings Paper
Year published
2017
Publicado
in 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden in LIPIcs
Volume: 82, Páginas: 29:1-29:24
Indexing
Dblp®/pt/publications/view/690256
Publication Identifiers
DBLP: conf/csl/HeerdtS017
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service