Ivannikov Institute for System Programming of the RAS


On the logic-and-term equivalence of first-order programs.

Authors

Zakharov V.A., Novikova T.A.

Research Group

Theoretical Computer Science

All publications during 2012 All publications