You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The Symposium on Magnetic Ultrathin Films, Multilayers and Surfaces, hosted by the European Materials Research Society, was held at the Palais de la Musique et des Congré in Strasbourg, France on June 4-7, 1996. Its central theme was the relationship of magnetic properties and device performance to structure at the nano and micrometer length scale. Research on the magnetism of surfaces, ultrathin films and multilayers has increased dramatically during recent years. This development was triggered by the discovery of coupling between ferromagnetic layers across nonmagnetic spacer layers and of the giant magnetoresistance effect in systems of reduced dimension using various micro and nanofabri...
This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science. The range of contributions includes material on the extension of natural deduction with higher-order rules, as opposed to higher-order connectives, and a paper discussing the application of natural deduction rules to dealing wi...
None