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.
Waiting for server

Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting