An ordering for terms with sequence variables and flexible arity symbols is presented. The ordering coincides with the lexicographic extension of multiset path ordering on terms without sequence variables. It is shown that the classical strict superposition calculus with ordering and equality constraints can be used as a refutationally complete proving method for well-constrained sets of clause...

Two approaches, resource-oriented and constraint-oriented, for structuring telephone systems specifications, are presented. Both approaches express behaviour by collections of communicating processes, using the language LOTOS. However, requirements are distributed differently among processes. Examples are taken from specifications of telephone systems, first basic, and then with features. The f...

Fully compositional and thermal reservoir simulation capabilities are important in oil exploration and production. There are significant resources in existing wells and in heavy oil, oil sands, and deep-water reservoirs. This article has two main goals: (1) to clearly identify chemical engineering sub-problems within reservoir simulation that the PSE community can potentially make contributions...

 Using the concept of system signature introduced by Samaniego (1985), Kochar et al. (1999) compared the lifetimes of the systems in which the lifetimes of the components are independent and identically distributed (i.i.d.) random variables. Their results are extended to the systems with exchangeable components by Navarro et al. (2005). This paper gives some alternative proofs to obtain th...

English terminology usually distinguishes between sorting and ordering. Sorting is primarily a service for users to facilitate their access to information by presenting it in a structured and predictable way, e. g. by subdividing the information by subject matter (by having several registers to a book, for instance), having multiple indices in a library etc. Ordering –– the arrangement of infor...