1. Deducibility and decidability. ([date of publication not identified]) Other Names: Gill, R. R. Rockingham, 1944- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Reachability problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, proceedings /: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, proceedings. (2016) Editors: Larsen, K. G (Kim G.), 1957-; Potapov, Igor; Srba, Jiří Other Names: RP (Workshop), 10th Record Type: Book Extent: 1 online resource (xiv, 193 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Reachability problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings. (2017) Editors: Hague, Matthew; Potapov, Igor Other Names: RP (Workshop), 11th Record Type: Book Extent: 1 online resource (xv, 193 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗