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

/hets/doc/
H A DUserGuide.tex33 %% Added by MB to have some extra vertical space after the ``main'' examples
184 degree of support by \Hets in Fig.~\ref{fig:Languages}.
232 \section{Logics supported by Hets}
235 \cite{GoguenBurstall92}) is currently supported by \Hets:
241 \caption{Graph of logics currently supported by \Hets. The more an
349 \item[OWL 2] is the Web Ontology Language (OWL 2) recommended by the
430 \verb+TWELF_LIB+ must be set) and reads in the OMDoc generated by Twelf.
451 \item[Hybrid] HybridCASL \cite{DBLP:conf/calco/NevesMMB13} extends ModalCASL by implementing
464 other logics can be obtained by using logic translations to a
481 by Het
[all...]

Completed in 11 milliseconds