✦ LIBER ✦

Proof rules for recursive procedures

✍ Scribed by Wim H. Hesselink

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A sharp proof rule for procedures in wp

✍ A. Bijlsma; P. A. Matthews; J. G. Wiltink 📂 Article 📅 1989 🏛 Springer-Verlag 🌐 English ⚖ 545 KB

A new reduction rule for the connection

✍ Klaus Heje Munch 📂 Article 📅 1988 🏛 Springer Netherlands 🌐 English ⚖ 880 KB

A general proof rule for procedures in p

✍ Alain J. Martin 📂 Article 📅 1983 🏛 Springer-Verlag 🌐 English ⚖ 522 KB

Proof rules for gotos

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

Equivalence of the Gries and Martin proo

✍ A. Bijlsma; J. G. Wiltink; P. A. Matthews 📂 Article 📅 1986 🏛 Springer-Verlag 🌐 English ⚖ 159 KB

Proof theory for admissible rules

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