✦ LIBER ✦

Cut elimination for a calculus with context-dependent rules

✍ Scribed by Birgit Elbl

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A system model with pure context-free ru

✍ K.G. Subramanian; Linqiang Pan; See Keong Lee; Atulya K. Nagar 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 455 KB

Training neural networks for minimum ave

✍ Luuk Spreeuwers 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 985 KB

Algorithm for the determination of the e

✍ S. A. Shatokhin; L. A. Gribov; I. S. Perelygin 📂 Article 📅 1986 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 562 KB

2D heteronuclear NOE spectroscopy with f

✍ Katalin E. Kövér; Gy. Batta 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 227 KB