In this paper a calculus for solving the semantic matching problem with respect to left-linear or variable-preserving convergent termrewriting systems is presented. Narrowing calculi usually use advanced selection rules to reduce the search space. Our approach to designing a special calculus for special goals is another way of reducing the efficiency defects of narrowing. Our calculus construct...

1 Mildly Context-Sensitive Syntax 5 1.1 Tree Adjoining Grammars . . . . . . . . . . . . . . . . . . . . . . . 6 1.1.1 Linguistic Analyses Using TAGs . . . . . . . . . . . . . . . . 8 Lexicalized Grammar . . . . . . . . . . . . . . . . . . . . . . 8 Long-Distance Dependencies . . . . . . . . . . . . . . . . . 9 1.1.2 Background: Context-Free Tree Grammars . . . . . . . . . . 10 IO and OI Derivat...

using the hyers-ulam-rassias stability method, weinvestigate isomorphisms in banach algebras and derivations onbanach algebras associated with the following generalized additivefunctional inequalitybegin{eqnarray}|af(x)+bf(y)+cf(z)|  le  |f(alpha x+ beta y+gamma z)| .end{eqnarray}moreover, we prove the hyers-ulam-rassias stability of homomorphismsin banach algebras and of derivations on banach ...

The existence of local bases in which the components of derivations of tensor algebras over a differentiable manifold vanish along paths is proved. The holonomicity of these bases is investigated. The obtained results are applied to the case of linear connections. Some relations with the equivalence principle are shown.

The relational semantics for Linear Logic induces a semantics for the type free Lambda Calculus. This one is built on non-idempotent intersection types. We give a principal typing property for this type system.We then prove that the size of the derivations is closely related to the execution time of lambda-terms in a particular environment machine, Krivine’s machine.

Let X be a nonsingular variety defined over an algebraically closed field of characteristic 0, and D be a free divisor with Jacobian ideal of linear type. We compute the Chern class of the sheaf of logarithmic derivations along D and compare it with the Chern-Schwartz-MacPherson class of the hypersurface complement. Out result establishes a conjecture by Aluffi raised in [Alu12b].

‎In this paper‎, ‎using fixed point method‎, ‎we prove the generalized Hyers-Ulam stability of‎ ‎random homomorphisms in random $C^*$-algebras and random Lie $C^*$-algebras‎ ‎and of derivations on Non-Archimedean random C$^*$-algebras and Non-Archimedean random Lie C$^*$-algebras for‎ ‎the following $m$-variable additive functional equation:‎ ‎$$sum_{i=1}^m f(x_i)=frac{1}{2m}left[sum_{i=1}^mfle...

In this note, we review score functions properties and discuss inequalities on the Fisher Information Matrix of a random vector subjected to linear non-invertible transformations. We give alternate derivations of results previously published in [6] and provide new interpretations of the cases of equality.