Lev D. Beklemishev

Publication Activity (10 Years)

Years Active: 1991-2022
Publications (10 Years): 7

Top Topics

Classical Logic

Linearly Ordered

Rewriting Systems

Top Venues

Ann. Pure Appl. Log.

J. Comput. Syst. Sci.

Publications