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

/hets/Maude/doc/
H A Ddg.tex28 hypotheses. We use non-persistent free links to link these modules with
67 included one. We use the same links for the parameters in
192 independent) calculus rules that reduce global theorem links to local
193 theorem links, which are in turn discharged by local theorem proving
201 definition links.
203 \subsection{Normalization of free definition links}
211 in such a way that Maude free links would be translated to usual free
212 definition links in \CASL have been unsuccessful. We decided thus to
213 introduce a special type of links to represent Maude's freeness in
259 correspond to heterogeneous links fro
[all...]

Completed in 20 milliseconds