Equality, types and generiC modules for logiC programming. A language using Horn Clauses. J.A. Goguen, J. Meseguer.

In addition suitable Contents:
[ ag ] [ al ] [ am ] [ an ] [ au ] [ Cl ] [ Clause ] [ du ] [ E ] [ eg ] [ er ] [ es ] [ fo ] [ for ] [ G ] [ ge ] [ gen ] [ gi ] [ Go ] [ gr ] [ gu ] [ Horn Clause ] [ in ] [ it ] [ J ] [ la ] [ language ] [ li ] [ logiC programming ] [ M ] [ mm ] [ mo ] [ mod ] [ module ] [ ne ] [ ng ] [ pe ] [ pr ] [ program ] [ programming ] [ quality ] [ ro ] [ se ] [ si ] [ type ] [ ua ] [ us ]