Searched refs:literal (Results 1 - 4 of 4) sorted by relevance
| /hets/OWL2/java/lib/ | ||
| H A D | owlapi-osgidistribution-3.5.2.jar | META-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ... |
| /hets/CASL_DL/doc/ | ||
| H A D | CASL_DL-Notes.tex | 231 DATA-LITERAL is a literal allowed for a subsort of \Id{Data}. 241 literal denoting the number of relations for each member of the |
| /hets/doc/ | ||
| H A D | UserGuideCommonLogic.tex | 943 For easier understanding, the \HetCASL implementation includes literal copies of the \texttt{Region\-Boolean\-Contact\-Algebra} and \texttt{Atomless\-Boolean\-Lattice} modules; actually, they could as well have been included from their respective files using \texttt{from ... get ...}. |
| /hets/CASL/Termination/ | ||
| H A D | AProVE.jar | META-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ... |
Completed in 211 milliseconds