Searched refs:models (Results 1 - 6 of 6) sorted by relevance

/hets/Maude/doc/
H A Ddg.tex19 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
208 that the free extensions of models are required to be persistent
272 Notice that the models of $N$ are Maude reducts of \CASL models of $K$,
287 Extensions of theories in Horn form admit free extensions of models.
401 The models of the nodes $N$ and $N'$ are
450 $\sigma$-free model $n$. We have seen that all free models are also models of $N'$ and moreover
H A Dmaude.tex48 in the algebra), denoted $\model \models t = t'$, when both terms have the same meaning:
50 $\model \models t : s$ when $\den{t} \in A_s$.
64 $\model \models t \rightarrow t'$, exactly when $\model \models t = t'$, i.e., when
172 denoted $\model \models t \Rightarrow t'$, when there is a transition
179 they can be used to build initial and free models; see \cite{Meseguer92-tcs}
/hets/CASL_DL/doc/
H A DCASL_DL-Notes.tex181 [I vote for 1. Why should annotations be integrated into models
/hets/doc/
H A DUserGuideCommonLogic.tex189 allow one to find models for CL theories;
1296 some \CASL models can be re-constructed. When pressing `Check', possibly after
1301 (Fig.~\ref{fig:cons_res}) will pop up and allow you to inspect the models for
H A DUserGuide.tex1628 some \CASL models can be re-constructed. When pressing `Check', possibly after
1633 (Fig. \ref{fig:cons_res}) will pop up and allow you to inspect the models for
1936 supports the display of models (if they can be constructed) in \CASL-syntax.
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 85 milliseconds