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

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.