Jürgen Cleve

Learn More
1 This paper presents a methodology to guide equa-tional reasoning in a goal directed way. Suggested by rippling methods developed in the eld of inductive theorem proving we use attributes of terms and heuristics to determine bridge lemmas, i.e. lemmas which have to be used during the proof of the theorem. Once we have found such a bridge lemma we use the(More)
Multivariate analyses (Multiple Classification Analyses) of data obtained from repeated surveys (1981 and 1983) of students (grades 7-13) supported the separate consideration of three aspects of cannabis use and nonuse: not trying cannabis; trying and quitting cannabis use; and trying and continuing cannabis use. Marked consistency was found in results(More)
The potential dangers from a malfunctioning of information processing systems range from simple loss of data to loss of life. This led many states come up with (hierarchies of) criteria to evaluate the trustworthiness of software systems. The Veriication Support Environment (VSE) was designed to satisses the requirements of the higher levels of such(More)
  • 1