Anton Salikhmetov

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 7

Top Topics

Lambda Calculus

Reduction Method

Rewriting Systems

Top Venues

Publications