A new CH carbonaceous chondrite from Acfer, Algeria

A single stone weighing 1456 g was found in November 2002 in the Acfer area, Algeria. Oxygen isotope, chondrules-matrix ratio as well as other petrographic features point to a classification as CH carbonaceous chondrite

A new CO carbonaceous chondrite from Acfer, Algeria

Many small fragments, totally weighing 118 g were found in the Acfer area by an Italian dealer. Chondrules size and types (predominance of granular olivine type), occurrence of twinned clinoenstatite and absence of plagioclase suggested a classification as CO carbonaceous chondrite

A new CK carbonaceous chondrite from Hammada Al Hamra, Libya

A single stone weighing 198 g was found in 2001 in the Hammada al Hamra region of Libya. Petrographic features (mean chondrules dimensions, coarse grained matrix and presence of AOIs and CAIs) point to a classification as CK carbonaceous chondrite

Textural and minerochemical features of NWA 1807 and 2180, two new CV3 chondrites from northwest Africa

A textural and minerochemical study has been performed on NWA 1807 and 2180 chondrites in order to determine sizes and typologies of chondrules, relative abundances of mineral phases, compositions of main phases and bulk oxygen isotope composition

Hilbert-Post completeness for the state and the exception effects

In this paper, we present a novel framework for studying the syntactic completeness of computational effects and we apply it to the exception effect. When applied to the states effect, our framework can be seen as a generalization of Pretnar's work on this subject. We first introduce a relative notion of Hilbert-Post completeness, well-suited to the composition of effects. Then we prove that the exception effect is relatively Hilbert-Post complete, as well as the "core" language which may be used for implementing it; these proofs have been formalized and checked with the proof assistant Coq.Comment: Siegfried Rump (Hamburg University of Technology), Chee Yap (Courant Institute, NYU). Sixth International Conference on Mathematical Aspects of Computer and Information Sciences , Nov 2015, Berlin, Germany. 2015, LNC