Concepedia

EQLOG: Equality, Types, and Generic Modules For Logic Programming.

Joseph A. Goguen, José Meseguer

1986 · 206 citations · 0 references

Concepts