Behrooz Mostafavi

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 17

Top Topics

Learning Contexts

Sequent Calculi

Propositional Logic

Worked Examples

Top Venues

Publications