✦ LIBER ✦

Some General Results About Proof Normalization

✍ Scribed by Marc Aiguier; Delphine Longuet

Book ID: 107509021
Publisher: SP Birkhäuser Verlag Basel
Year: 2010
Tongue: English
Weight: 351 KB
Volume: 4
Category: Article
ISSN: 1661-8297
DOI: 10.1007/s11787-010-0011-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some results concerning proofs of statem

Some results concerning proofs of statements about programs

✍ R.J. Orgass 📂 Article 📅 1970 🏛 Elsevier Science 🌐 English ⚖ 692 KB

A programming language is viewed as a language for expressing "instructions" for a computation to be performed by a particular machine. A class of abstract machines (which includes universal machines) is defined. These machines are viewed as devices which execute "instructions" expressed in programm

Some results about the projective normal

Some results about the projective normality of abelian varieties

✍ Luis Fuentes García 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 110 KB

Some results about holomorphic vector bu

Some results about holomorphic vector bundles over general Hopf manifolds

✍ XiangYu Zhou 📂 Article 📅 2009 🏛 SP Science China Press 🌐 English ⚖ 368 KB

Short Proofs of Some Extremal Results

✍ CONLON, DAVID; FOX, JACOB; SUDAKOV, BENNY 📂 Article 📅 2013 🏛 Cambridge University Press 🌐 English ⚖ 182 KB

Some results about a bidimensional versi

Some results about a bidimensional version of the generalized BO

✍ Milanés, Aniura 📂 Article 📅 2003 🏛 American Institute of Mathematical Sciences 🌐 English ⚖ 275 KB

Some results about normal forms for func

Some results about normal forms for functional dependency in the relational datamodel

✍ János Demetrovics; Vu Duc Thi 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 837 KB