𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Proof rules for gotos

✍ Scribed by Michael A. Arbib; Suad Alagić

Publisher
Springer-Verlag
Year
1979
Tongue
English
Weight
389 KB
Volume
11
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof theory for admissible rules
Proof theory for admissible rules
✍ Rosalie Iemhoff; George Metcalfe 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 887 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

A simple proof for a simple rule
A simple proof for a simple rule
✍ A. Martín Sánchez; F. Vera Tomé 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 104 KB
A proof rule for restoring logic circuit
A proof rule for restoring logic circuits
✍ J.A. Bergstra; J.W. Klop 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 843 KB

An axiomatic semantics is given for restoring logic circuits, both statically and dynamically. As an example the Muller C-element is discussed in detail. It is shown that a consistent circuit reacts in an unambiguous way on new inputs.