We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data evaluation. We first present the proof principle, using an explicit induction on the termination property, to prove that any input data has at least one finite evaluation. For that, we observe proof trees built from t...

Despite several decades of active experimental and theoretical studies rare-earth orthoferrites, the mechanism formation their specific magnetic, magnetoelastic, optical, magneto-optical properties remains a subject discussion. This paper provides an overview simple model approaches to quantitatively describing structure–property relationships—in particular, interplay between FeO6 octahedral de...

A pair of Banach spaces (E,F) is said to have the weak maximizing property (WMP, for short) if every bounded linear operator T from E into F, existence a non-weakly null sequence implies that attains its norm. This was recently introduced in paper by R. Aron, D. García, Pelegrino and E. Teixeira, raising several open questions. The aim present contribute better knowledge WMP limitations. Namely...