Katsuhiko Sano

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 37

Top Topics

Cut Elimination

Sequent Calculus

Spatial Relations

Epistemic Logic

Top Venues

J. Log. Comput.

Publications