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

/hets/Maude/doc/
H A Ddg.tex17 to the first one with a free definition link (whose signature morphism
46 the union of the information in both summands. A definition link
77 The \verb"including" mode generates a global definition link between the
201 definition links.
203 \subsection{Normalization of free definition links}
212 definition links in \CASL have been unsuccessful. We decided thus to
239 Now, we consider a Maude non-persistent free definition link and let
251 Given a free non-persistent definition link $\flinka{M}{\sigma}{N}$, with
254 $\Sigma^\#_N$, a global definition link from $M'$ to $M''$ labeled with the
255 inclusion $\iota_N$ of $\Sigma_N$ in $\Sigma^\#_N$, a free definition lin
[all...]

Completed in 11 milliseconds