Graph explorer

Matthew Hague

Matthew Hague contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapMatthew Hague
13 nodes12 links
Matthew Hague13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAMatthew HagueResearcherWMonadic Decomposition i...preprint / 2020WParameterised Pushdown ...preprint / 2011WSenescent Ground Tree R...preprint / 2013WSaturation of Concurren...preprint / 2013WAnnotated Stack Treespreprint / 2015WSymbolic Backwards-Reac...preprint / 2008WDetecting Redundant CSS...preprint / 2015WUnboundedness and Downw...preprint / 2015WDecidable models of int...preprint / 2016WA Decision Procedure fo...preprint / 2020WSaturation algorithms f...preprint / 2014WExtended Computation Tr...preprint / 2010
PersonSignal 1012 links

Matthew Hague

Researcher

Open