V. S. Vasilev

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Optimization Problems

Invariant Features

Language Learning

Information Systems

Top Venues

Autom. Control. Comput. Sci.

Publications

V. S. Vasilev, Alexander I. Legalov
Loop-invariant Optimization in the Pifagor Language. Autom. Control. Comput. Sci. 52 (7) (2018)