𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Much Shorter Proofs

✍ Scribed by Dick de Jongh; Franco Montagna


Publisher
John Wiley and Sons
Year
1989
Tongue
English
Weight
879 KB
Volume
35
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis


MUCH SHORTER PROOFS

by DICK DE JONGH in Amsterdam (Netherlands) and FRANCO MONTAGNA in Siena (Italy)


πŸ“œ SIMILAR VOLUMES


A shorter proof to uniqueness of solutio
✍ Ying Mingsheng πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 156 KB

We give a very short proof of uniqueness of solutions of equations regarding observation congruence, the main notion of equality, over Milner's process calculus.

A Shorter, Simpler, Stronger Proof of th
✍ Matthias Beck; Thomas Zaslavsky πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 83 KB

Meshalkin's theorem states that a class of ordered p-partitions of an n-set has at most maxð n a1;...;ap Þ members if for each k the kth parts form an antichain. We give a new proof of this and the corresponding LYM inequality due to Hochberg and Hirsch, which is simpler and more general than previo

Shorter communication
✍ R.C. Lindberg; R.A. Schmitz πŸ“‚ Article πŸ“… 1971 πŸ› Elsevier Science 🌐 English βš– 331 KB