Searched defs:free (Results 1 - 2 of 2) sorted by relevance

/hets/Maude/doc/
H A Ddg.tex17 to the first one with a free definition link (whose signature morphism
18 is detailed in Section \ref{sec:free}), contains the same signature but
19 no local axioms and stands for the free models of the theory.
24 consists of free extensions of the models of their parameters, that are
28 hypotheses. We use non-persistent free links to link these modules with
65 The \verb"protecting" mode generates a non-persistent free link between
66 the current node and the node standing for the free semantics of the
164 are linked with a non-persistent free link (in blue in the illustration). Note that
175 free (here, initial) model of
182 by means of a non-persistent free lin
[all...]
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 1580 milliseconds