Thomas Gransden

Publication Activity (10 Years)

Years Active: 2014-2015
Publications (10 Years): 0

Top Topics

Search Strategies

Cellular Automata

Statistical Models

Top Venues

Publications

Thomas Gransden, Neil Walkinshaw, Rajeev Raman
SEPIA: Search for Proofs Using Inferred Automata. CoRR (2015)
Thomas Gransden, Neil Walkinshaw, Rajeev Raman
SEPIA: Search for Proofs Using Inferred Automata. CADE (2015)
Thomas Gransden, Neil Walkinshaw, Rajeev Raman
Mining State-Based Models from Proof Corpora. CICM (2014)
Thomas Gransden, Neil Walkinshaw, Rajeev Raman
Mining State-Based Models from Proof Corpora. CoRR (2014)