✦ LIBER ✦

Equivalence of the Gries and Martin proof rules for procedure calls

✍ Scribed by A. Bijlsma; J. G. Wiltink; P. A. Matthews

Publisher: Springer-Verlag
Year: 1986
Tongue: English
Weight: 159 KB
Volume: 23
Category: Article
ISSN: 0001-5903
DOI: 10.1007/bf00267863

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A new and simple proof of the equivalenc

A new and simple proof of the equivalence theorem for behaviors

✍ Jan Willem Polderman 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 60 KB

behavior are related through a left unimodular transformation. We present a new and extremely simple and insightful proof for this well-established fact.

The equivalence of ensembles and the Gib

The equivalence of ensembles and the Gibbs phase rule for classical lattice systems

✍ Anders Martin-Löf 📂 Article 📅 1979 🏛 Springer 🌐 English ⚖ 595 KB

A maximal domain of preferences for stra

A maximal domain of preferences for strategy-proof, efficient, and simple rules in the division problem

✍ Jordi Massó; Alejandro Neme 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 382 KB

A Simple Numerical Procedure for Estimat

A Simple Numerical Procedure for Estimating the Prior Probability in the Biomathematical Proof of Paternity

✍ Dr. D. Böhning 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 137 KB 👁 2 views

This note gives a simple procedure for finding the maximum likelihood estimate of the prior probabilities in paternity cases. The procedure is based on a fixed point principle.

A procedure for the separation of sub-mi

A procedure for the separation of sub-microgram quantities of lead and bismuth by vacuum evaporation

✍ Gries, W. H. 📂 Article 📅 1974 🏛 Springer-Verlag ⚖ 377 KB

A robust and fast procedure for the dete

A robust and fast procedure for the determination of the small signal equivalent circuit of HEMTs

✍ A Caddemi; G Crupi; N Donato 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 296 KB