✦ LIBER ✦

Infinite proof rules for loops

✍ Scribed by F. Kröger

Publisher: Springer-Verlag
Year: 1980
Tongue: English
Weight: 932 KB
Volume: 14
Category: Article
ISSN: 0001-5903
DOI: 10.1007/bf00286493

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof rules for gotos

✍ Michael A. Arbib; Suad Alagić 📂 Article 📅 1979 🏛 Springer-Verlag 🌐 English ⚖ 389 KB

Proof theory for admissible rules

✍ Rosalie Iemhoff; George Metcalfe 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 887 KB

Proof rules for recursive procedures

✍ Wim H. Hesselink 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 815 KB

Strategy-proof consensus rules for commi

Strategy-proof consensus rules for committee elections

✍ H.-H. Bock; W.H.E. Day; F.R. McMorris 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 508 KB

committee election problem is to choose from a finite set S of candidates a nonempty subset of committee members as the consequence of an election in which each voter expresses a preference for a candidate in S. We use ideas of vote concentration to formulate families of committee election rules, wh

Proof of regularity of for loop operator

Proof of regularity of for loop operators

✍ V. S. Kostyrko 📂 Article 📅 1978 🏛 Springer US 🌐 English ⚖ 505 KB

A simple proof for a simple rule

✍ A. Martín Sánchez; F. Vera Tomé 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 104 KB