✦ LIBER ✦

Modularity of confluence: A simplified proof

✍ Scribed by Jan Willem Klop; Aart Middeldorp; Yoshihito Toyama; Roel de Vrijer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modularity of proof-nets

✍ Roberto Maieli; Quintijn Puite 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 281 KB

A simplified proof of parikh's theorem

✍ J. Goldstine 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 619 KB

A direct proof of the confluence of comb

✍ René David 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 734 KB

A simplified proof of the Bogoliubov-Par

✍ C.M. Van der Kolk; E.A. De Kerf 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 813 KB

Modular correctness proofs of behavioura

✍ Michel Bidoit; Rolf Hennicker 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 345 KB

A simplified proof of a theorem about gr

✍ Charles E. Reid 📂 Article 📅 1972 🏛 John Wiley and Sons 🌐 English ⚖ 184 KB