Publicações

AuthID
P-00P-M1X

Author(s)

Das, A

Editor(es)

Ghica D.R.Jung A.

Tipo de Documento

Proceedings Paper

Year published

2018

Publicado

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

Volume: 119

Conference

27Th Annual Eacsl Conference Computer Science Logic, Csl 2018, Date: 4 September 2018 through 7 September 2018

Indexing

Scopus^®

Google Scholar^®

Publication Identifiers

DOI: 10.4230/lipics.csl.2018.18

SCOPUS: 2-s2.0-85053057954

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