One way to understand an interactive system is firmly rooted in language theory, that a system is its set of runs (or words). Properties of systems are described in a linear time temporal logic. Relationships between automata, language theory and logic are then utilised, such as the theory of ω-regular languages and Büchi automata. An alternative viewpoint is that an interactive system should b...

The problem of determining Herbrand equivalence of terms at each program point in a data flow framework is a central and well studied question in program analysis. Most of the well-known algorithms for the computation of Herbrand equivalence in data flow frameworks [4, 9, 11] proceed via iterative fix-point computation on some abstract lattice of short expressions relevant to the given flow gra...

A complex affine Poisson algebra is said to satisfy the Dixmier-Moeglin equivalence if cores of maximal ideals are precisely those prime that locally closed in spectrum P.spec and if, moreover, these whose extended centers exactly numbers. In this paper, we provide some topological criteria for terms poset (P.spec A, ⊆) symplectic leaf or core stratification on its spectrum. particular, prove Z...

We characterize the family of second order potential differential systems, with n degrees of freedom, via their symmetries. Firstly, we calculate explicitly the equivalence Lie algebra and the weak equivalence Lie algebra. It is shown that the equivalence Lie algebra has the dimension n + 4 + n(n− 1) 2 whereas the weak equivalence Lie algebra is infinitedimensional. The later contains strictly ...

Elliptic curves in Hesse form admit more suitable arithmetic than ones in Weierstrass form. But elliptic curve cryptosystems usually use Weierstrass form. It is known that both those forms are birationally equivalent. Birational equivalence is relatively hard to compute. We prove that elliptic curves in Hesse form and in Weierstrass form are linearly equivalent over initial field or its small e...

the main goal of the present paper is to extend classical results from the measure theory and dynamical systems to the fuzzy subset setting. in this paper, the notion of  dynamic equivalence relation is introduced and then it is proved that this relation is an equivalence relation. also, a new metric on the collection of all equivalence classes is introduced and it is proved that this metric is...

In this paper, we study an equivalence relation on the set of fuzzysubgroups of an arbitrary group G and give four equivalent conditions each ofwhich characterizes this relation. We demonstrate that with this equivalencerelation each equivalence class constitutes a lattice under the ordering of fuzzy setinclusion. Moreover, we study the behavior of these equivalence classes under theaction of a...