Publications

AuthID
P-00X-T01

Author(s)

Sato, T

Gaboardi, M

Hsu, J

Katsumata, Sy

Document Type

Proceedings Paper

Year published

2019

Published

in 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019 in LICS

Pages: 1-14

Indexing

Publication Identifiers

Dblp: conf/lics/SatoBGHK19

Export Publication Metadata

Marked List

Info

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

Useful Links