Gianluigi Bellin

Publication Activity (10 Years)

Years Active: 1992-2018
Publications (10 Years): 3

Top Topics

Intuitionistic Logic

Automated Reasoning

Cut Elimination

Proof Theoretic

Top Venues

Fundam. Informaticae

J. Log. Comput.

Publications