Terms containing rational constants

Subject	English	Russian
progr.	arbitrary rational constants	произвольные рациональные константы (ssn)
progr.	in the definition of timed automaton, we allowed the clock constraints that serve as the invariants of locations and the guards of transitions to contain arbitrary rational constants	в определении временного автомата мы допускали использование временных ограничений в качестве инвариантов позиций и предохранителей переходов, содержащих произвольные рациональные константы (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)
progr.	invariants of locations and the guards of transitions to contain arbitrary rational constants	инварианты позиций и предохранителей переходов, содержащие произвольные рациональные константы (ssn)
progr.	rational constants	рациональные константы (ssn)
el.chem.	rational rate constant	рациональная скорость окисления
el.chem.	rational rate constant	рациональная константа скорости роста плёнки (количество эквивалентов вещества, проходящих в 1 сек через 1 смг плёнки толщиной 1 см)