Примеры rename

• It is thus timely to have a book that considers them in great detail - renaming them 'co-compounds ' in the process.

• However, one must restrict the use of these operations (in particular disjoint union and renaming) so that they only produce graphs with sources.

• We can assume that i= the set of node variables constituting each association sequence i is disjoint by renaming node variables.

• A conformant implementation need not support renaming files in all situations (for instance, renaming across different physical devices), but the constraints must be documented.

• This paper seeks both to survey these labels and uncover why there is such a strong compulsion to rename the language.

• The coalition arrangement was also in effect in 2001, although the coalitions were slightly renamed and consisted of slightly different parties.

• Formalizing the notion of when two stores are 'equivalent' up to renaming of their locations can be done using the underlying graphs.

• If necessary, the local variables of the procedure body must be renamed to avoid name clashes with these dummy variables.

• Note that every mu-calculus sentence decomposes into a composition of finitely many blocks, which are unique up to renaming the atoms used for composition.

• In the description of the algorithm we assume that bound variables are renamed to avoid clashes, and fresh variables are introduced whenever needed.

• Specifications are identified up to renaming of bound variables and reordering of components, which will be justified by our semantics.

• We assume that the non-terminals appearing in the two grammars to be operated on are renamed apart.

• The institution was renamed a few times after 1949.

• We are well aware that, from the start of the project until our study was published, some agencies were renamed.

• The sickness insurance contribution was simply renamed the pension contribution, while employers took over the entire contribution for sickness insurance.