Home > Computer Science home > Research > Profile > Researchers > Professor Matthew Hague > Research Data

Professor Matthew Hague

1 - 2 out of 2Page size: 100

10
25
50
100
500

RSS feed of this list

Sort by: Title

Title

Data and source code for SatCSS
Hague, M. (Creator), Lin, A. (Creator), Hong, C. (Creator), Royal Holloway, University of London, 5 Dec 2018
Dataset
OSTRICH: String Constraint Solver
Hague, M. (Creator), Ruemmer, P. (Creator), Royal Holloway, University of London, 2018
Dataset

Computer Science home

Research

Profile

Royal Holloway, University of London
Egham,
Surrey,
TW20 0EX

T: +44 (0)1784 434455 T: +44 (0)1784 434455