Lines Matching refs:ref
243 CLIF syntax, and also recursively reads in any imported files (cf.\ Sect.~\ref{relationsInCL} for the syntax).
250 Sect.~\ref{relationsInCL}. Alternatively, CLIF syntax can be used
253 interpretations and other things, see Sect.~\ref{HetCASL} below.
283 Fig.~\ref{fig:lang} for a simple subset of the
287 called comorphisms) is shown in Fig.~\ref{fig:LogicGraph}, and the
288 degree of support by \Hets in Fig.~\ref{fig:Languages}.
417 in Sect.~\ref{sec:HetSpec} below.\\
602 Sect.~\ref{sec:DevGraph}) even if the individual specifications are
622 \texttt{.clf} or \texttt{.clif} & CommonLogic & custom, see Sect.~\ref{relationsInCL} \\\hline
642 embedding of \CASL into Common Logic (cf.\ Fig.~\ref{fig:LogicGraph}).
800 unofficial extensions used e.g.\ by the Common Logic Repository COLORE \cite{Colore}, and represented externally of Common Logic texts. COLORE currently represents them in external XML documents, and any required symbol maps in external CLIF files. \Hets, in contrast, allows for declaring them as \emph{views} within \HetCASL files, outside of specifications, as can be seen from the syntax specification in List.~\ref{fig:lang}.
846 We provide a concrete examples in Sect.~\ref{sec:examples} below.
855 Just as with imports (\ref{descr:link_import}), \Hets supports different types
929 We give two examples for relative interpretation: one from COLORE (in this section), and one standalone one (in Sect.~\ref{sec:rel-intpr-standalone}).
931 The COLORE \cite{Colore} module \texttt{Region\-Boolean\-Contact\-Algebra} relatively interprets the module \texttt{Atomless\-Boolean\-Lattice}. These two modules specify axioms about booleans; thus, they have the same signature. In the graph of imports, they have several common imported modules (e.g.\ \texttt{Bounded\-Distributive\-Lattice}), but no common importing module, as can be seen from Fig.~\ref{fig:colore-graph}.
1119 \HetCASL's view mechanism offers an alternative to that. A view from one ontology to another ontology in the same logic has been shown in Sect.~\ref{sec:relat-interpr}, but it is also possible to have views across logics, as long as there is a translation between these logics that is known to \Hets (cf.\ Sect.~\ref{comorphisms}).
1159 The proof calculus for development graphs (Sect.~\ref{sec:DevGraph}) reduces
1167 Fig.~\ref{fig:proof_window} --- we call it ``Proof Management GUI''.
1248 (Fig.~\ref{fig:proof_window}).
1272 checker'' shown in Fig.~\ref{fig:cons_window}. This GUI is invoked from
1301 (Fig.~\ref{fig:cons_res}) will pop up and allow you to inspect the models for
1322 inactive. Fig.~\ref{fig:SPASS_GUI} shows the instantiation for \SPASS, where
1340 Tab.~\ref{tab:MathServe}, along with their capabilities. These
1569 without blanks of one or more comorphism names (see Sect.~\ref{comorphisms})
1582 Sect.~\ref{sec:Server})