✦ LIBER ✦

A decision procedure for the order of regular events

✍ Scribed by Kosaburo Hashiguchi

Publisher: Elsevier Science
Year: 1979
Tongue: English
Weight: 415 KB
Volume: 8
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(79)90057-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An efficient decision procedure for the

An efficient decision procedure for the theory of rational order

✍ Jeanne Ferrante; James R. Geiser 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 906 KB

A regularization procedure for the auto-

A regularization procedure for the auto-correlation equation

✍ L. Von Wolfersdorf 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 133 KB

## Abstract The paper deals with the auto‐correlation equation and its regularization by means of a Lavrent'ev regularization procedure in __L__^2^. The solution of this quadratic integral equation of the first kind and of the regularized equation of the second kind are obtained by reduction to a b

A decision system for the optimal select

A decision system for the optimal selection of laboratory procedures

✍ R. Wellmann; G. Wünsch 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 435 KB

A Weighted Nonparametric Procedure for t

A Weighted Nonparametric Procedure for the Combination of Independent Events

✍ James A. Koziol; Henry C. Tuckwell 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 363 KB 👁 2 views

A Decision Procedure For the System EĪ o

A Decision Procedure For the System EĪ of Entailment with Negation

✍ Nuel D. Belnap Jr.; John R. Wallace 📂 Article 📅 1965 🏛 John Wiley and Sons 🌐 English ⚖ 699 KB

A Spreadsheet Application of a Decision

A Spreadsheet Application of a Decision Procedure for Selecting Designs for Manufacturing

✍ Lissa Galbraith; William A. Miller; L. Leung 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 310 KB