Publicações

AuthID
P-00Y-5NA

Author(s)

Gaboardi, M

Grégoire, B

Hsu, J

Strub, PY

Editor(es)

Grohe,M;Koskinen,E;Shankar,N

Tipo de Documento

Proceedings Paper

Year published

2016

Publicado

in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016 in LICS

Páginas: 749-758

Indexing

Publication Identifiers

DBLP: conf/lics/BartheGGHS16

Export Publication Metadata

Lista Marked

Info

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

Links Úteis