EQLOG

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

Nearby terms:

epsilon squaredEPSIMONEEPSSEqLEQLOGEQLogEqnequalsequational logic

Try this search on Wikipedia, OneLook, Google


Loading