Skip to main

Submitted outputs' details

The submitted outputs' details allows you to browse and search for outputs submitted to the REF 2021. Use the search and filters below to find the outputs you are looking for.

Horn Fragments of the Halpern-Shoham Interval Temporal Logic