20 research outputs found
Using Energy Dispersive X-Ray Measurements for Quantitative Determination of Material Loss Due to Corrosion
[SK] Sadri, Kowalski: A theorem-proving approach to database integrity, in Minker
[De] Decker: A model-theoretic semantics of integrity constraints in deductive databases