Syntax and Semantics for Operations with Scopes

Maciej Piróg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff. Syntax and Semantics for Operations with Scopes. In Anuj Dawar, Erich Grädel, editors, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018. pages 809-818, ACM, 2018. [doi]

Authors

Maciej Piróg

This author has not been identified. Look up 'Maciej Piróg' in Google

Tom Schrijvers

This author has not been identified. It may be one of the following persons: Look up 'Tom Schrijvers' in Google

Nicolas Wu

This author has not been identified. Look up 'Nicolas Wu' in Google

Mauro Jaskelioff

This author has not been identified. Look up 'Mauro Jaskelioff' in Google