Extending Real Logic with Aggregate Functions.

Samy Badreddine, Michael Spranger

Browse the full NeSy paper archive.