Datalog vs first-order logic
- Miklos Ajtai
- Yuri Gurevich
- 1994
- Journal of Computer and System Sciences
Paper
Publications
26934 results for Science
Nature of the superconducting state in high-Tc cuprates
- T. Schneider
- M.H. Pedersen
- 1994
- Physica C: Superconductivity and its applications
PaperDeformation and Fracture by Sharp Rolling Contacts
- Robert F. Cook
- 1994
- JACerS
PaperA High Performance Transparent Bridge
- Martina Zitterbart
- Ahmed N. Tantawy
- et al.
- 1994
- IEEE/ACM Transactions on Networking
PaperA fourth-order-accurate difference approximation for the incompressible Navier-Stokes equations
- William D. Henshaw
- Heinz-Otto Kreiss
- et al.
- 1994
- Computers and Fluids
PaperLow-temperature "interaction field" and pinning efficiency in YBaCuO crystals with columnar defects
- L. Krusin-Elbaum
- L. Civale
- et al.
- 1994
- Physica C: Superconductivity and its applications
PaperAmorphous carbon antireflective coatings in the 10 to 50 fxm region of the far-IR
- Serhat Mefin
- James H. Kaufman
- et al.
- 1994
- Journal of Materials Research
PaperCascading of second-order processes in quadratic molecular media at the origin of very large cubic effects
- P. Vidakovic
- J. Zyss
- et al.
- 1994
- Synthetic Metals
PaperTerminal attachment of perfluorinated polymers to solid surfaces
- J. Rühe
- G.S. Blackman
- et al.
- 1994
- Journal of Applied Polymer Science
PaperScanning tunneling microscopy: a surface science tool and beyond
- H Rohrer
- 1994
- Surface Science
Paper