𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A numerical approach to proving projectivity

✍ Scribed by Steven L. Kleiman

Book ID
112746232
Publisher
Springer
Year
1966
Tongue
English
Weight
441 KB
Volume
71
Category
Article
ISSN
0373-3114

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

How to prove it: a structured approach
How to prove it: a structured approach
✍ Daniel J. Velleman πŸ“‚ Library πŸ“… 2006 πŸ› Cambridge University Press 🌐 English βš– 2 MB

Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This new edition of Velleman’s successful text will prepare students to make the transition from solving problems to proving theorems by teaching them the techniques needed to read and w

Proving a compiler correct: A simple app
Proving a compiler correct: A simple approach
✍ G. Germano; A. Maggiolo-Schettini πŸ“‚ Article πŸ“… 1975 πŸ› Elsevier Science 🌐 English βš– 523 KB

The paper shows how compiler correctness can be proved, provided that semantics of the source language is defined by recursion on the definition of its syntax. The exposition is done by way of an easy example.