Daniel Méry

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 7

Top Topics

Sequent Calculus

Universally Quantified

Classical Logic

Top Venues

Theory Comput. Syst.

Publications