Sophie Burrill

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Automated Theorem Proving

Description Logics

Hidden Markov Models

Top Venues

Publications

Sophie Burrill, Julien Courtiel, Éric Fusy, Stephen Melczer, Marni Mishna
Tableau sequences, open diagrams, and Baxter families. Eur. J. Comb. 58 (2016)