Publications

AuthID
P-00Y-5NA

Author(s)

Gaboardi, M

Grégoire, B

Hsu, J

Strub, PY

Editor(s)

Grohe,M;Koskinen,E;Shankar,N

Document Type

Proceedings Paper

Year published

2016

Published

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

Pages: 749-758

Indexing

Publication Identifiers

Dblp: conf/lics/BartheGGHS16

Export Publication Metadata

Marked List

Info

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

Useful Links