Login / Signup
Sergei A. Grechanik
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 0
Top Topics
Theorem Prover
Functional Programs
Stochastic Grammar
Proof Search
Top Venues
Ershov Memorial Conference
Program. Comput. Softw.
</>
Publications
</>