Browse by Authors and Editors
Jump to: 2016 Number of items: 1. 2016Alechina, Natasha, Bulling, Nils, Demri, Stephane and Logan, Brian (2016) On the complexity of resource-bounded logics. In: 10th International Workshop on Reachability Problems (RP 2016), 19-12 September 2016, Aalborg, Denmark. |