Expressiveness Results for an Inductive Logic of Separated Relations.

Radu Iosif, Florian Zuleger

Browse the full CONCUR paper archive.