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


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