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

/hets/doc/
H A DUserGuideCommonLogic.tex34 pdftitle={Hets for Common Logic Users}]
152 \title{{\bf \protect{\LARGEHets} for Common Logic Users}\\
168 Common Logic (CL) is an ISO standard published as ``ISO/IEC 24707:2007
169 --- Information technology — Common Logic (CL): a framework for a family
178 several kinds of tool support for Common Logic:
180 \item a parser for the Common Logic Interchange Format (CLIF) --- CLIF
236 Logic and OWL2 and \HetCASL. They will be described in the next
239 \subsection{Common Logic and the Common Logic Interchange Format (CLIF)}
241 CLIF is specified in Annex A of the Common Logic standar
[all...]
H A DUserGuide.tex170 Common Logic, OWL 2, LF, THF, HOL, Haskell, and Maude. For heterogeneous
432 Logic definitions in LF are based in the logic atlas of the Latin project \cite{project:latin}
480 \section{Logic translations supported
484 Logic translations (formalized as institution comorphisms
531 CommonLogic2CASL & Coding Common Logic to \CASL.Module elimination
533 CommonLogic2CASLCompact & Coding compact Common Logic to \CASL.
534 Compact Common Logic is a sublogic of Common Logic
539 CommonLogicModuleElimination & Eliminating modules from a Common Logic theory
1293 \item[Show Logic Grap
[all...]
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 15 milliseconds