EQLOG

Equality, types and generic modules for logic programming. A language using Horn clauses. J.A. Goguen, J. Meseguer.

Try this search on Wikipedia, OneLook, Google

Nearby terms:

EPSIMONE « EPSS « EqL « EQLOG » EQLog » Eqn » equals

Loading