𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Concerns about the generalizability of results of the AECC grant program

✍ Scribed by Mintz, Steven M.

Book ID
123136725
Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
613 KB
Volume
11
Category
Article
ISSN
0748-5751

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

The history of concerns about VDTS
The history of concerns about VDTS
✍ Scialli, Anthony R. πŸ“‚ Article πŸ“… 1990 πŸ› Elsevier Science 🌐 English βš– 189 KB