| Logical Frameworks |
1999 |
85 pages |
| Authors:
Frank Pfenning; ELSEVIER SCIENCE PUBLISHERS LTD BARKING(UNITED KINGDOM)
|
 | Deductive systems, given via axioms and rules of inference are a common conceptual tool in mathematical logic and computer science. They are used to specify many varieties of logics and logical theories as well as aspects of programming languages such as type systems or operational semantics. A logical framework is a meta-language for the specification of deductive systems. A number of different frameworks have been proposed and implemented for a ... |
|
| Diamond and Related Materials: International Journal on the Science and Technology of Diamond and Related Materials, Volume 6, No. 10, August 1997 |
AUG 97 |
351 pages |
| Authors:
R. Messier; J. C. Angus; T. R. Anthony; P. K. Bachmann; A. M. Bonnot; ELSEVIER SCIENCE PUBLISHERS LTD BARKING(UNITED KINGDOM)
|
| The first European Conference on Silicon Carbide and Related Materials (ECSCRM 96) was held in Heraklion, Crete, Greece from October 6 to October 9, 1996. This was the first event of a series of biannual conferences addressing wide band gap semiconductors research field and supported by the European Union through the "Euroconferences" action. The next conference will be held in Montpellier, France in 1998. The conference was attended by 140 ... |
|
| Proceedings of the International Conference (9th) on Molecular Beam Epitaxy Held in Malibu, California, USA on 5-9 August 1996. Part I, Sections I- VIII |
96 |
705 pages |
| Authors:
Y. C. Kao; ELSEVIER SCIENCE PUBLISHERS LTD BARKING(UNITED KINGDOM)
|
| In MBE-IX, 265 papers, including 14 invited talks, were selected from 400 abstract submissions. The percentage of papers being selected is the lowest as compared to previous International MBE conferences, indicating strong interest and growth in MBE development. MBE is now of fundamental importance in the creation of advanced new materials and device structures for electronics, optoelectronics, and photonics applications. MBE has progressed to the point that it is now ... |
|
| Proceedings of the International Conference (9th) on Molecular Beam Epitaxy Held in Malibu, California, USA on 5-9 August 1996. Part 2, Sections IX- XVIII |
96 |
658 pages |
| Authors:
Y. C. Kao; ELSEVIER SCIENCE PUBLISHERS LTD BARKING(UNITED KINGDOM)
|
|
Reports by Corporate Author
