0 to give something a new name: --
1 to give something a new name: --
Upon completion, the fort was renamed in honor of its commander.
2 to give something a new name: --
The sickness insurance contribution was simply renamed the pension contribution, while employers took over the entire contribution for sickness insurance.
We are well aware that, from the start of the project until our study was published, some agencies were renamed.
The institution was renamed a few times after 1949.
We assume that the non-terminals appearing in the two grammars to be operated on are renamed apart.
Specifications are identified up to renaming of bound variables and reordering of components, which will be justified by our semantics.
In the description of the algorithm we assume that bound variables are renamed to avoid clashes, and fresh variables are introduced whenever needed.
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.
If necessary, the local variables of the procedure body must be renamed to avoid name clashes with these dummy variables.