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

Optical synthesis of non-linear non-monotonic functions

โœ Scribed by S.R. Dashiell; A.A. Sawchuk


Publisher
Elsevier Science
Year
1975
Tongue
English
Weight
267 KB
Volume
15
Category
Article
ISSN
0030-4018

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Monotone simulations of non-monotone pro
โœ Albert Atserias; Nicola Galesi; Pavel Pudlรกk ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 173 KB

We show that an LK proof of size m of a monotone sequent (a sequent that contains only formulas in the basis 4; 3) can be turned into a proof containing only monotone formulas of size m Oรฐlog mรž and with the number of proof lines polynomial in m: Also we show that some interesting special cases, nam

Non-linear optical properties of GaN
โœ I.M. Catalano; A. Cingolani; M. Lugara'; A. Minafra ๐Ÿ“‚ Article ๐Ÿ“… 1977 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 121 KB