ACM Special Interest Group on Logic profile picture

ACM Special Interest Group on Logic

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Proceedings of the 2015 30th Annual ACMIEEE Symposium on Logic in Computer Science (LICS).