“...It is known that the full intuitionistic propositional calculus can be embedded into the atomic...”
Access document

Subjects: “...Atomic clusters...”
Access document (1)
Access document (2)

“...We show that the number-theoretic functions de nable in the atomic polymorphic system (Fat) are...”
Access document

“...It has been known for six years that the restriction of Girard’s polymorphic system F to atomic...”
Access document

“...We have made a survey of the region 302° ≤ l ≤ 310°, 2° ≤ b ≤ 12° at the frequency of the hydrogen...”
Access document

“.... Such proof illustrates the potential of an atomic polymorphic system with only three generators...”
Access document

Access document

“... approximate Green's functions for the Anderson lattice that employs the exact solutions of an atomic problem...”
Access document

“... emphasizes the context where Bohr atomic model emerges, known to be proposed in a period of transition...”
Access document

Subjects: “...Physics - Atomic Physics...”
Access document (1)
Access document (2)

“... reported. The anomalous decrease in Debye-Waller factor is qualitatively interpretated. It is suggested...”
Access document

Subjects: “...atomic data...”
Access document (1)
Access document (2)

“... web da empresa utilizando a metodologia de Atomic Design. Através desta reestruturação...”
Access document

“...) translate into βη-conversions of the atomic polymorphic calculus Fat. Since Fat enjoys the property...”
Access document

Subjects: “...atomic frustrated state...”
Access document (1)
Access document (2)

Subjects: “...Atomic and Molecular Physics, and Optics...”
Access document

“... sent to multiple groups of processes. The algorithm is scalable in the sense that: (1) any process can...”
Access document

Subjects: “...atomic predicates...”
Access document

“...A systematic study of the zinc-blende-type 4d-transition-metal nitrides, which still need...”
Access document

“...Starting from the exact solution of the Hubbard model in the atomic limit, and treating the hopping...”
Access document