𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A programming language for the inductive sets, and applications

✍ Scribed by David Harel; Dexter Kozen

Book ID
114037708
Publisher
Elsevier Science
Year
1984
Weight
926 KB
Volume
63
Category
Article
ISSN
0019-9958

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Program Control Language: a programming
Program Control Language: a programming language for adaptive distributed applications
✍ Brian Ensink; Joel Stanley; Vikram Adve πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 496 KB

Many distributed applications must meet stringent performance requirements even when the performance characteristics of the underlying systems and networks vary significantly at runtime. Runtime adaptation can be used to tolerate such changes, but sophisticated adaptive distributed programs can be e

A core language for fuzzy answer set pro
A core language for fuzzy answer set programming
✍ Jeroen Janssen; Steven Schockaert; Dirk Vermeir; Martine De Cock πŸ“‚ Article πŸ“… 2012 πŸ› Elsevier Science 🌐 English βš– 593 KB