Login / Signup
Andrei P. Nemytykh
Publication Activity (10 Years)
Years Active: 1990-2021
Publications (10 Years): 4
Top Topics
Case Study
Automated Verification
Runtime Environment
Prolog Programs
Top Venues
CoRR
VPT@CAV
VPT@ETAPS
J. Log. Algebraic Methods Program.
</>
Publications
</>