this study compares and contrasts tense and inherent aspect in english and persian lan-guage from a semantic and syntactic point of view. the aspectual verb system in both english and persian are semantically interpreted alike. however, in persian a group of stative verbs are grammaticalized by the imperfective obligatory morpheme mi-, while in english all sta-tive verbs perfective. furthermore...

Let G be a finite group and let x ∈ G. Define the order subset of G determined by x to be the set of all elements in G that have the same order as x. A group G is said to have perfect order subsets if the number of elements in each order subset of G is a divisor of |G|. In this article we prove a theorem for a class of nonabelian groups, which is analogous to Theorem 4 in [2]. We then prove tha...

Object oriented development is the methodology of choice for a wide range of applications but those developing critical systems have stayed with techniques with a mathematical basis. Object-Z is a formal specication language that has attempted to bring the benets of an object oriented approach to critical systems. However, it lacks an obvious route to implementation. This paper describes how Ob...

We define a diamonded odd cycle to be an odd cycle C with exactly two chords and either a) C has length five and the two chords are non-crossing; or b) C has length greater than five and has chords (x,y) and (x,z) with (y,z) an edge of C and there exists a node w not on C adjacent to y and C, but not x. In this paper, we show that given a diamonded odd cycle-free graph G, G is perfect if and on...

In 1979, two constructions for making partitionable graphs were introduced in (by Chv2 atal et al. (Ann. Discrete Math. 21 (1984) 197)). The graphs produced by the second construction are called CGPW graphs. A near-factorization (A; B) of a %nite group is roughly speaking a non-trivial factorization of G minus one element into two subsets A and B. Every CGPW graph with n vertices turns out to b...