๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Agents via Mixed-Mode Computation in Linear Logic

โœ Scribed by James Harland; Michael Winikoff

Book ID
111570650
Publisher
Springer Netherlands
Year
2004
Tongue
English
Weight
204 KB
Volume
42
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Local computation in linear logic
Local computation in linear logic
โœ Ugo Solitro; Silvio Valentini ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 613 KB

## Abstract This work deals with the exponential fragment of Girard's linear logic ([3]) without the contraction rule, a logical system which has a natural relation with the direct logic ([10], [7]). A new sequent calculus for this logic is presented in order to remove the weakening rule and recove

Longitudinal lattice modes in linear mix
Longitudinal lattice modes in linear mixed valence compounds
โœ C.E. Paraskevaidis; C. Papatriantafillou ๐Ÿ“‚ Article ๐Ÿ“… 1978 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 289 KB

Mbed valence compounds of platinum or palladium have a crystal structure that consists of long, linear chains. The frequencies of the three coIktive (phonon) longitudinal k = 0 optical modes bear little xelevance to those of lon&udinaI modes of the independent mokcutes, being different in general an