✦ LIBER ✦

Predicate Transformers for Recursive Procedures with Local Variables

✍ Scribed by Wim H. Hesselink

Publisher: Springer
Year: 1999
Tongue: English
Weight: 177 KB
Volume: 11
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s001659970002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A recursion theorem for predicate transf

A recursion theorem for predicate transformers on inductive data types

✍ David A. Naumann 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 565 KB

A general proof rule for procedures in p

A general proof rule for procedures in predicate transformer semantics

✍ Alain J. Martin 📂 Article 📅 1983 🏛 Springer-Verlag 🌐 English ⚖ 522 KB

Local models with hidden variables for a

Local models with hidden variables for a K0K0 system

✍ Jules Six 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 184 KB

Recursive partitioning for prognostic gr

Recursive partitioning for prognostic grouping of patients with clinically localized prostate carcinoma

✍ Mousumi Banerjee; Debjit Biswas; Wael Sakr; David P. Wood Jr. 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 117 KB 👁 2 views

Volume-localized spectroscopy using sele

Volume-localized spectroscopy using selective fourier transform with windowing by variable-tip-angle excitation

✍ Andrew G Webb; Richard W Briggs; Thomas H Mareci 📂 Article 📅 1991 🏛 Elsevier Science ⚖ 406 KB

Convolutions for the Fourier transforms

Convolutions for the Fourier transforms with geometric variables and applications

✍ Bui Thi Giang; Nguyen Van Mau; Nguyen Minh Tuan 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 149 KB

## Abstract This paper gives a general formulation of convolutions for arbitrary linear operators from a linear space to a commutative algebra, constructs three convolutions for the Fourier transforms with geometric variables and four generalized convolutions for the Fourier‐cosine, Fourier‐sine tr