Stephen O'Connor-Seville

Publication Activity (10 Years)

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

Top Topics

Sequent Calculi

Automated Reasoning

Functional Dependencies

Natural Language Processing

Top Venues

Australas. J Comb.

Publications

Samuel Fulton, Stephen O'Connor-Seville, Matthew Welz
-tableaux. Australas. J Comb. 78 (2020)