Now showing items 41-46 of 46
Quaternions, Frechet differentiation, and some equations of mathematical physics 1. Critical point theory
(Elsevier, 1979-09)
Following an introduction discussing some properties of maps Q --> Q and Q x Q --> Q, where Q denotes the ring of quaternions, it is shown that many equations of mathematical physics can be written in this formalism. ...
The typed [lambda]-calculus is not elementary recursive
(Elsevier, 1979-07)
We prove that the problem of deciding for closed terms t1, t2 of the typed [lambda]-calculus whether t1 [beta]-converts to t2 is not elementary recursive.
Three contraceptive acceptance strategies
(Elsevier, 1979-02)
Three main classes of contraceptive acceptance strategy may be distinguished: "fixed duration T" (women counseled to accept T months after childbirth); "postamenorrheic" (accept directly after the first postpartum menses), ...