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

/hets/HasCASL/doc/
H A DStaticAna.tex34 order -- kinds, types and terms, where predicate types and formulas are
35 special cases of types and terms respectively.
38 constructors and terms from values, i.e. operations or predicates.
200 For a uniform mixfix- and type- analysis, terms and formulas are not
201 distinguished and all treated as terms. If the first argument of a mixfix
207 type analysis, but typed terms (via \texttt{:}) are checked for unifying
214 \subsubsection{Binding terms}
216 Binding terms are quantified formulas, lambda terms, case- and
218 occur in right-hand-side expressions. Patterns are almost treated like terms
[all...]
/hets/CASL/Termination/
H A DAProVE.jar ... aprove/InputModules/Programs/xsrs/ aprove/InputModules/Programs/xtrs/ aprove/InputModules/Terms/ aprove/InputModules/Terms/term/ aprove/InputModules/Terms/typeterm/ aprove/InputModules ...

Completed in 13 milliseconds