Searched defs:with (Results 1 - 3 of 3) sorted by relevance
| /hets/CASL_DL/doc/ |
| H A D | CASL_DL-Notes.tex | 15 \section{Issues (with implementation options)}
54 have a way to distingiush several named specs with one OWL DL file,
120 \item with annos this is not easy. Here it must be possible to
122 \item with annos this is not easy. Here it must be possible to
147 Identifier. Collides a little bit with minCardinality[pred\_name],
150 \item Namespace abbrevs are added as prefix to the Identifier with an
163 with \verb|owl:Thing| and \newline \verb|owl:Nothing|.
169 with the other AnnotationProperties?
178 with every symbol (sort name, pred name, op name)
239 compound id with exactl
[all...] |
| /hets/doc/ |
| H A D | hs2isa.tex | 45 functional language with lazy evaluation, polymorphic types extended with type
49 In such languages, monadic constructors are extensively used to deal with
53 typed lambda calculus extended with axiomatic type classes. It provides
56 \cite{Paulson94isa,holcf} is Isabelle/HOL conservatively extended with the
65 formal development of programs. It has an interface with Isabelle, and
81 %associated with the translation to Isabelle/HOLCF, in section 7 we show how translation
82 %of monads is carried out with AWE.
90 single-parameter type classes (with some limitations), \emph{case} and
99 \emph{let} with pattern
[all...] |
| /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 14 milliseconds