Searched defs:terms (Results 1 - 2 of 2) sorted by relevance
| /hets/HasCASL/doc/ | ||
| H A D | StaticAna.tex | 34 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 D | AProVE.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