Publicações

AuthID
P-00R-MC6

Author(s)

Editor(es)

Fernandez M.Muscholl A.

Tipo de Documento

Proceedings Paper

Year published

2020

Publicado

in Leibniz International Proceedings in Informatics, LIPIcs, ISSN: 1868-8969

Volume: 152

Conference

28Th Eacsl Annual Conference on Computer Science Logic, Csl 2020, Date: 13 January 2020 through 16 January 2020

Indexing

Scopus^®

Google Scholar^®

Publication Identifiers

DOI: 10.4230/lipics.csl.2020.35

SCOPUS: 2-s2.0-85078048843

Source Identifiers

ISSN: 1868-8969

Export Publication Metadata

Lista Marked

Info

At this moment we don't have any links to full text documens.

Links Úteis